Commit Graph

171 Commits

Author SHA1 Message Date
Folkert
b01377f868 save the stack 2021-04-23 11:49:32 +02:00
Folkert
903583f1d4 implement basic type error reporting 2021-04-23 09:41:49 +02:00
Folkert
4dd0ee6543 constrain expect 2021-04-23 09:36:12 +02: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
Richard Feldman
792a18816a Update authors in Cargo.toml 2021-04-11 08:11:52 -04:00
Folkert
112e97c4a2 improve circular definition error reporting 2021-04-10 21:39:20 +02:00
Folkert
ff3f231155 remove Mode from stdlib 2021-04-01 21:42:38 +02:00
Folkert
ca04411523 fix tests/more uniq removal 2021-02-07 22:50:33 +01:00
Folkert
b80865778e literal patterns should have type Int a or Float a 2021-01-04 23:35:29 +01:00
Jared Ramirez
18d0141942 [WIP] Merge local changes with new branch 2020-12-31 13:08:50 -06:00
rvcas
1ab7dc54ad fix: gen_num tests 2020-12-30 21:18:08 -05:00
rvcas
b510d6e94d fix: float error in repl 2020-12-30 20:47:11 -05:00
rvcas
c33cab57f2 Merge branch 'int-float-size-gen' into temp_numbers 2020-12-30 19:41:44 -05:00
rvcas
127c4e1bcc feat: add inner var to IntLiteral and FloatLiteral 2020-12-29 20:52:54 -05:00
Jared Ramirez
791a0e9404 Use precision in mono/ir to determine which number to generate 2020-12-29 09:33:55 -06:00
Jared Ramirez
48f964adf4 Add percision variable in fp/integer eq constraints 2020-12-28 16:22:34 -06:00
Folkert
caaf8e76c1 reintroduce multiple uniqueness vars in numbers 2020-12-22 20:13:54 +01:00
rvcas
b734b3de58 fix: should not check args.is_empty() 2020-12-22 09:05:58 -05:00
rvcas
e91fc2f1ff fix: clean up uniq and adjust PatternCategory for int type in constrain 2020-12-22 09:05:19 -05:00
rvcas
3ea4858eb5 fix(clippy): do not need let binding 2020-12-22 09:05:19 -05:00
rvcas
d08757f161 fix: uniqueness for Num types 2020-12-22 09:05:19 -05:00
rvcas
aa4b376134 add new layer to the Num types 2020-12-22 09:05:19 -05:00
Anton-4
b085469602 Replaced large_enum_variant explanation with link to issue #800 2020-12-14 16:09:16 +01:00
Richard Feldman
0b620539ef Report accurate regions in unused imports 2020-12-13 22:51:23 -05:00
Richard Feldman
572c7cb3dd Report an error for lookups of unexposed values 2020-12-10 23:59:15 -05:00
Folkert
b669202d86 fix wildcards not recognized as rigids 2020-12-11 01:49:54 +01:00
rvcas
4987721154 feat(Num): rename Num.Int to Num.I64 2020-12-07 19:17:20 -05:00
rvcas
f7bd803509 feat(Num): rename Float to F64 2020-11-24 10:25:21 -05:00
Folkert
197abd8553 change constraints gen to give better errors 2020-11-15 02:06:34 +01:00
Folkert
23fe8e5c07 fix another nasty rigid problem 2020-11-15 00:23:32 +01:00
Folkert
ec3868ed7e small rigid fix 2020-11-14 02:45:05 +01:00
Folkert
815b942f29 cleanup 2020-11-13 01:59:09 +01:00
Folkert
78e0886eb1 clippy 2020-11-13 01:42:31 +01:00
Folkert
bde82c3bb6 add Store constraint that does not report errors 2020-11-12 15:47:56 +01:00
Folkert
75d18eb8ba no more rigid mistakes? 2020-11-12 15:31:25 +01:00
Folkert
7a719172bc more rigid fixes? 2020-11-12 14:55:46 +01:00
Folkert
eaf94f2cfc uncomment more of rbtree 2020-11-12 00:45:47 +01:00
Folkert
21685b6f8f add tests for the rigid issue 2020-11-11 22:55:46 +01:00
Folkert
22592eff80 fix issue with rigids 2020-11-11 22:51:28 +01:00
Folkert
0ba612ecdb refactor 2020-11-11 21:56:25 +01:00
Folkert
62a82d1135 extract untyped args helper 2020-11-11 21:46:12 +01:00
Folkert
d6e7e8381c make it clearer the variables come from the def's pattern 2020-11-11 20:49:04 +01:00
Folkert
984cf744e3 make Storage store where it came from 2020-11-11 01:16:30 +01:00
Folkert
c64a6da745 make Storage store where it came from 2020-11-11 01:14:15 +01:00
Folkert
3aa6455795 fix problem with recursive definition constraint gen 2020-11-10 19:40:35 +01:00
Folkert
3cd132dd51 introduce foreign call 2020-11-05 23:35:56 +01:00
Folkert
2acbfa91f1 remove def_symbol field 2020-11-04 14:59:41 +01:00
Folkert
c09b66a9cc add HostExposedAlias 2020-11-04 13:19:57 +01:00
Folkert
b075c2d394 clean up imports 2020-10-31 15:36:46 +01:00
Folkert
6c578440e0 remove uniqueness alias lifting 2020-10-31 15:35:17 +01:00