Commit graph

496 commits

Author SHA1 Message Date
Richard Feldman
ab8cc95c2b Disable clippy rule for manual_map 2021-05-07 08:44:44 -04:00
Folkert
fecb83b9c2 fixes 2021-05-07 11:00:15 +02:00
Folkert
b5c655c84d add constraint validation code (currently unused) 2021-05-05 21:35:49 +02:00
Folkert
48f392f372 fix bad test examples using unbound type alias variables 2021-05-05 19:54:10 +02:00
Folkert
9b0e14ef4c treat wildcards as rigids 2021-05-03 20:39:29 +02:00
Folkert
c071cfba13 implement startsWithCodePoint 2021-05-02 19:26:08 +02:00
Folkert
95fbc15373 add test 2021-04-23 11:27:36 +02:00
Folkert
ed7906ccbb fix canonicalization 2021-04-23 09:24:11 +02:00
Richard Feldman
60be120fc1 Rename COPYRIGHT_DETAILS to LEGAL_DETAILS
Turns out GitHub's `Licensee` gem treats any file with the word
"copyright" in it as a potential license, and therefore doesn't
recognize and list Roc's license as UPL-1.0 because it thinks
there might be two licenses or something.

d274e47c71/lib/licensee/project_files/license_file.rb (L26)
2021-04-22 21:52:07 -04:00
Richard Feldman
f34a75f26e Rename COPYRIGHT file to COPYRIGHT_DETAILS
This way, GitHub's license finder doesn't get confused.
(They use the `Licensee` Ruby gem, which looks for files like
LICENSE, which we have, but also COPYRIGHT - and it apparently
gets confused if it sees both.)
2021-04-22 21:41:11 -04:00
Folkert
700e7d9686 parse expect 2021-04-22 23:00:44 +02:00
Richard Feldman
a11b849d45 Reference the COPYRIGHT file inline 2021-04-21 19:24:45 -04:00
Richard Feldman
0a50b0b488 Change license to UPL-1.0
Closes https://github.com/rtfeldman/roc/issues/1199
2021-04-21 19:18:44 -04:00
Folkert
383f35db5a bump bumpalo 2021-04-18 14:36:47 +02:00
Richard Feldman
27c663709f
Merge pull request #1192 from rtfeldman/type2-to-var
Type2 to var
2021-04-12 22:32:10 -04:00
Folkert
bffb9ab6fe initial solver for the editor's type constraints 2021-04-12 21:26:20 +02:00
Folkert
2bb1f2cca7 improve error reporting for underscore expr 2021-04-12 20:48:58 +02:00
Folkert
46ab922dd1 throw error in canonicalization 2021-04-11 22:19:00 +02:00
Folkert
28ba645121 parse underscores in expressions 2021-04-11 21:02:31 +02:00
Richard Feldman
792a18816a Update authors in Cargo.toml 2021-04-11 08:11:52 -04:00
Folkert
61ecc821aa Merge remote-tracking branch 'origin/trunk' into recursive-defs 2021-04-10 22:16:42 +02:00
Folkert
ebd6ee3f14 optimize cycleentry generation 2021-04-10 22:00:45 +02:00
Folkert
112e97c4a2 improve circular definition error reporting 2021-04-10 21:39:20 +02:00
Folkert
4a3e90fdef fix backpassing region 2021-04-09 12:02:50 +02:00
Folkert
fa7dec2997 no more boolean algebra 2021-04-04 21:22:59 +02:00
Eric Henry
8e36b5797b Merge branch 'trunk' of github.com:rtfeldman/roc into builtin-sortby 2021-04-03 10:03:45 -04:00
Folkert
61b7be7838 remove pub fn 2021-04-01 21:45:50 +02:00
Folkert
f2c144f58c Merge remote-tracking branch 'origin/can-builtins-simplify' into list-range 2021-03-31 11:34:32 +02:00
Folkert
5d8d2bb030 Merge remote-tracking branch 'origin/trunk' into can-builtins-simplify 2021-03-31 11:29:33 +02:00
Folkert
5cfc9c1d85 implement List.sum and List.product in roc can AST 2021-03-30 22:19:37 +02:00
Folkert
0bd05f3ecf remove second macro def 2021-03-30 21:23:06 +02:00
Eric Henry
7045737669 sortWith boilerplate done 2021-03-30 11:05:31 -04:00
Folkert
d718e21fd3 add List.range 2021-03-29 23:00:49 +02:00
Folkert
1302ee296f refactor list walking 2021-03-29 16:32:43 +02:00
Richard Feldman
51e7720658
Merge branch 'trunk' into add-num-log 2021-03-28 12:43:51 -04:00
Richard Feldman
706aaa26d3
Merge pull request #1122 from rtfeldman/num-sqrt-bugfix
Fix bug in Num.sqrt
2021-03-28 12:42:44 -04:00
Ju Liu
8ccdeefdf2 Fix bug in Num.sqrt 2021-03-28 17:23:47 +01:00
Ju Liu
c48f415058 fix small typo 2021-03-28 17:13:12 +01:00
Ju Liu
cd59af1f9a Rename error to LogNeedsPositive 2021-03-28 17:09:42 +01:00
Ju Liu
928249df2a Add Num.log and wire it up 2021-03-28 15:02:45 +01:00
Peter Fields
fed470b316 add list-product builtin function 2021-03-27 20:15:16 +00:00
Richard Feldman
e1c70fddec
Merge pull request #1093 from rtfeldman/type-identifier-messages
Type identifier messages
2021-03-21 19:20:18 -04:00
Folkert
03a90faa37 clippy 2021-03-21 22:53:05 +01:00
Folkert
b681923270 report malformed type names in annotations 2021-03-21 22:52:23 +01:00
Folkert
ef211ce49a clippy 2021-03-21 22:15:47 +01:00
Folkert
ce98da9d04 remove Nested from Def 2021-03-21 21:14:32 +01:00
Folkert
2827af7e59 remove Nested from pattern 2021-03-21 21:03:37 +01:00
Folkert
197835b6ed remove nested in expr 2021-03-21 20:56:18 +01:00
Folkert
19f05c9db8 remove old code 2021-03-21 20:55:07 +01:00
Folkert
165a2d83ff cleanup 2021-03-21 00:24:58 +01:00