Commit graph

627 commits

Author SHA1 Message Date
rvcas
56ff1fe463 feat: recursive tag unions store head on heap not stack 2021-01-09 10:54:53 -05:00
Folkert
9dd02ea090 reenable test 2021-01-07 20:15:06 +01:00
rvcas
e34fa2fe8c fix(gen_list): forgot to use Nat in these tests as well 2021-01-06 07:42:01 -05:00
Richard Feldman
ba9448619a
Merge branch 'trunk' into list-eq 2021-01-04 22:53:14 -05:00
rvcas
27cfd4d7ad more test fixes 2021-01-04 15:18:49 -05:00
rvcas
0aca5ae89a fix: fmt issue in gen_num.rs 2021-01-04 10:03:40 -05:00
rvcas
b34436e5cb Merge branch 'trunk' into int_a_float_a 2021-01-04 09:53:45 -05:00
Folkert
16abefa10d fix whitespace 2021-01-04 14:55:54 +01:00
Richard Feldman
fb95c72127
Merge branch 'trunk' into list-eq 2021-01-04 08:44:30 -05:00
Richard Feldman
07c9c962e4
Merge pull request #864 from rtfeldman/str-eq
Equality on Str
2021-01-04 08:43:30 -05:00
Folkert
a7cf98df9b add == and != for lists 2021-01-03 20:09:28 +01:00
Folkert
6749606450 add tests for RocStr clone 2021-01-03 03:12:49 +01:00
Folkert
0abc1cce15 make RocStr clone 2021-01-03 03:04:28 +01:00
Folkert
2ac19fb6e3 add equality for strings 2021-01-02 18:50:29 +01:00
Folkert
6ed01f357a add tests 2021-01-02 18:01:55 +01:00
Jared Ramirez
faa8f66b6c Add gen support for Nat 2021-01-01 17:40:47 -06:00
Jared Ramirez
37510e6aae Add rest of gen_num tests 2021-01-01 16:35:55 -06:00
Folkert
ccd302cbe9 format 2021-01-01 00:54:18 +01:00
Folkert
728298d15a automatic clippy fixes 2021-01-01 00:05:45 +01:00
Folkert
bcf1c46afe be more specific about int/float precision 2020-12-31 22:46:29 +01:00
Folkert
5859568d92 remove Cond 2020-12-31 20:58:30 +01:00
Jared Ramirez
18d0141942 [WIP] Merge local changes with new branch 2020-12-31 13:08:50 -06:00
rvcas
9dbcfb7a97 Merge branch 'temp_numbers' into int_a_float_a 2020-12-30 19:59:20 -05:00
rvcas
c33cab57f2 Merge branch 'int-float-size-gen' into temp_numbers 2020-12-30 19:41:44 -05:00
rvcas
97fc5f12a7 Merge branch 'trunk' into int_a_float_a 2020-12-30 15:19:31 -05:00
rvcas
d62471c73a fix: gen_list 2020-12-29 14:55:52 -05:00
Jared Ramirez
791a0e9404 Use precision in mono/ir to determine which number to generate 2020-12-29 09:33:55 -06:00
Folkert
5e25e28033 defer mono errors so we can test that non-exhaustive patterns throw a runtime exception 2020-12-29 03:51:46 +01:00
Folkert
a7efffa542 comment out tests that are blocked on a mono issue (Issue 786) 2020-12-29 01:48:31 +01:00
Folkert
f8e04619b8 remove UnsupportedPattern variant in mono patterns 2020-12-29 00:48:56 +01:00
Folkert
fefb1f3739 error on non-exhaustive pattern in let 2020-12-28 23:22:54 +01:00
Jared Ramirez
48f964adf4 Add percision variable in fp/integer eq constraints 2020-12-28 16:22:34 -06:00
Folkert
794f8c4d41 remove Shadowed variant from mono pattern 2020-12-28 23:14:04 +01:00
Folkert
4cdde12823 add tests 2020-12-28 22:34:27 +01:00
Jared Ramirez
5e332cbad9 [WIP] F32 gen 2020-12-28 14:50:01 -06:00
Jared Ramirez
9b1769b3fb Add basic tests for number gen 2020-12-28 14:50:01 -06:00
Richard Feldman
b1bf03e7a0
Merge pull request #830 from rtfeldman/empty-tag-union
make empty tag union compile
2020-12-26 23:41:44 -05:00
Folkert
29e726591f make empty tag union compile 2020-12-27 01:01:18 +01:00
Folkert
125146aac7 Merge remote-tracking branch 'origin/trunk' into bughunt 2020-12-26 00:51:22 +01:00
Folkert
59d6cdba04 make Num.neg raise on overflow 2020-12-26 00:50:09 +01:00
Folkert
51cf54e367 raise exception on Num.abs overflow 2020-12-25 21:26:29 +01:00
Folkert
2bcaf3921f fix #333: bug with symbol in if condition 2020-12-25 20:14:25 +01:00
Richard Feldman
a656778968 Merge remote-tracking branch 'origin/trunk' into overflow_on_mul 2020-12-23 15:37:55 -05:00
Celso Bonutti Filho
e7b2485a15 fix: ambiguous Num.subChecked test 2020-12-23 13:44:28 -03:00
Celso Bonutti Filho
c98d554328 test: adds tests for mulCheck and mulWrap 2020-12-23 13:43:34 -03:00
rvcas
eda5b72060 Merge branch 'trunk' into new_num_layer 2020-12-23 08:24:19 -05:00
Celso Bonutti Filho
cfbc4d1c54 feat: throws exception on multiplication overflow 2020-12-23 10:17:16 -03:00
Celso Bonutti Filho
2608be3df9 adds missing test annotation for float_sub_checked 2020-12-22 23:35:25 -03:00
Celso Bonutti Filho
fe588c120c adds Num.subChecked 2020-12-22 23:27:16 -03:00
Celso Bonutti Filho
5d2abc2bd2 throws subtraction overflow error for floats 2020-12-22 23:26:50 -03:00