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 |
|
Celso Bonutti Filho
|
313bc2ab86
|
adds tests for Num.subWrap and sub overflow
|
2020-12-22 22:18:00 -03:00 |
|
Folkert
|
caaf8e76c1
|
reintroduce multiple uniqueness vars in numbers
|
2020-12-22 20:13:54 +01:00 |
|
Folkert
|
232e1aa1ee
|
Merge branch 'new_num_layer' of github.com:rtfeldman/roc into new_num_layer
|
2020-12-22 19:42:29 +01:00 |
|
Folkert
|
34ba2388f3
|
run List.set out of bounds only for non-unique type inference
|
2020-12-22 19:34:04 +01:00 |
|
rvcas
|
aa4b376134
|
add new layer to the Num types
|
2020-12-22 09:05:19 -05:00 |
|
Celso Bonutti Filho
|
51a302957f
|
adds List.last
|
2020-12-21 19:44:24 -03:00 |
|
rvcas
|
c9308c0662
|
add new layer to the Num types
|
2020-12-21 09:56:11 -05:00 |
|
Folkert de Vries
|
2972437fce
|
Merge branch 'trunk' into fixing-exceptions
|
2020-12-21 02:30:39 +01:00 |
|
Folkert
|
725d52f7c6
|
make exceptions work on linux again
|
2020-12-21 02:12:30 +01:00 |
|
Celso Bonutti Filho
|
0a24f3b4b4
|
adds Num.bitwiseAnd
|
2020-12-20 19:55:10 -03:00 |
|