Commit Graph

812 Commits

Author SHA1 Message Date
Ayaz Hafiz
e543dd4fe6
Bugfix test gen 2022-04-25 10:59:41 -04:00
Ayaz Hafiz
6e7a8f2d3e
Remove private tags from test-gen 2022-04-25 10:59:11 -04:00
Folkert de Vries
c02eaf7561
Merge pull request #2921 from rtfeldman/gather-reference-matrix
construct reference matrix on the fly
2022-04-24 18:17:33 +02:00
Richard Feldman
d9a16ff5b2
Merge pull request #2927 from rtfeldman/upgrade-target-lexicon
Upgrade target-lexicon
2022-04-23 22:09:58 -04:00
Richard Feldman
57b7832917
Upgrade target-lexicon 2022-04-23 20:51:57 -04:00
Folkert
5c992e49d9
rust is hard sometimes 2022-04-23 23:33:28 +02:00
Folkert
91e4a0636f
enable do_pass_bool_byte_closure_layout only in release mode 2022-04-23 21:58:36 +02:00
Richard Feldman
122a1d57a0
Merge remote-tracking branch 'origin/trunk' into sqrt-unchecked 2022-04-23 15:40:30 -04:00
Ayaz Hafiz
5d1dd81e93
Reuse symbol when opaque type wraps a known symbol
Opaques decay immediately into their argument during codegen, so we need
to handle something that's effectively variable aliasing correctly.

This bug popped up while migrating all current private tags to opaques.
2022-04-23 14:37:52 -04:00
Folkert
32edd55d3d
sanity check 2022-04-23 15:32:15 +02:00
Folkert
48ce1c14bf
ordering changed in a test 2022-04-22 17:10:27 +02:00
Ayaz
e2a28347bb
Update compiler/test_gen/src/helpers/llvm.rs
Co-authored-by: Richard Feldman <oss@rtfeldman.com>
2022-04-20 22:50:31 -04:00
Ayaz Hafiz
80dc50763e
Using abilities as types is illegal, but we can still compile them
Closes #2881
2022-04-20 17:46:18 -04:00
Ayaz Hafiz
c0dec1d5bc
Fix indent 2022-04-20 17:45:41 -04:00
Ayaz Hafiz
0387eeed23
Make sure we're generating correct code with has annotations 2022-04-20 17:45:41 -04:00
Ayaz Hafiz
ff5ae67094
Multi-specializations of able variables through function compile 2022-04-20 17:43:17 -04:00
Ayaz Hafiz
b9f79fdd31
Able variables through different functions compile 2022-04-20 17:43:17 -04:00
Brian Carroll
f8156ffd53
Merge pull request #2834 from rtfeldman/wasm-list-map-n
Wasm List.mapN
2022-04-20 14:47:04 +01:00
Richard Feldman
082fde976a
Merge branch 'trunk' into sqrt-unchecked 2022-04-20 08:19:34 -04:00
Richard Feldman
93677001ba
Merge pull request #2888 from rtfeldman/divTrunc
rename divFloor to divTrunc
2022-04-19 21:57:49 -04:00
Kevin Gillette
d236c28743
Merge branch 'trunk' into sqrt-unchecked 2022-04-18 19:12:22 -06:00
Folkert
c0f9fb52a9
update Box imports/ignores because it is now available by default 2022-04-18 21:45:40 +02:00
Kevin Gillette
6a3fd3a607
rename divFloor to divTrunc 2022-04-18 02:33:31 -06:00
Kevin Gillette
1908ff41c3
rem, sqrt, log are unchecked but have checked variants
mod exists but is not implemented due to lack of hardware support
(emulation, possibly in terms of rem, is needed).
2022-04-17 14:40:39 -06:00
Folkert
8692938fb3
Merge branch 'vecset-references' into builtins-in-roc 2022-04-17 19:39:03 +02:00
Folkert
d0c02ada8a
re-enable ignored test 2022-04-17 14:00:34 +02:00
Richard Feldman
718b999751
Merge pull request #2857 from rtfeldman/abilities-mono
Codegen for abilities
2022-04-16 22:59:16 -04:00
Folkert
e112f6ad2c
Merge remote-tracking branch 'origin/trunk' into builtins-in-roc 2022-04-16 21:01:51 +02:00
Richard Feldman
ae59eab55b
Merge pull request #2850 from rtfeldman/issue-2646/Num-toStr
Issue 2646 - Num.toStr crash
2022-04-15 10:54:20 -04:00
Ayaz Hafiz
95783e03a1
Handle aliasing of ability members 2022-04-15 10:21:35 -04:00
Ayaz Hafiz
8694ea9d33
Add first ability gen tests 2022-04-14 17:06:19 -04:00
Jared Cone
b35debee70
fixed formatting 2022-04-13 23:36:00 -07:00
Jared Cone
17e5ec85aa
Num.toStr unit tests 2022-04-13 23:18:00 -07:00
Brian Carroll
bdad1a5161 wasm: Extract List.mapN logic into a helper function 2022-04-13 21:38:54 +01:00
Folkert
2b07b8c78d
Merge remote-tracking branch 'origin/trunk' into builtins-in-roc 2022-04-13 21:45:40 +02:00
Ayaz Hafiz
b86bf94d92
Dev, wasm test bugs 2022-04-12 17:35:00 -04:00
Ayaz Hafiz
865c1f15d7
Fix test compile errors, and simply load_internal tests 2022-04-12 16:42:51 -04:00
Nikita Mounier
dfba77bd04
Explicit i128 in test. 2022-04-12 16:41:29 +00:00
Nikita Mounier
6b2d1a7af6
Remove outdated comments. 2022-04-11 23:36:30 +00:00
Nikita Mounier
dbb91639e9
Revert weird changes in tests. 2022-04-11 21:33:22 +00:00
Nikita Mounier
20b9f6377c
Fix f64 ambiguity in test. 2022-04-11 19:43:21 +00:00
Nikita Mounier
799c05f183
Fix test. 2022-04-11 17:56:43 +00:00
Nikita Mounier
1d5ab1d79c
Merge remote-tracking branch 'origin/trunk' into div-no-result 2022-04-11 17:51:38 +00:00
Brian Carroll
a7a84019cd wasm: Get List.map3 working 2022-04-11 14:36:31 +01:00
Brian Carroll
7b96e953ba wasm: Get List.map2 working 2022-04-11 14:36:31 +01:00
Nikita Mounier
8206f345c7 Merge remote-tracking branch 'origin/trunk' into div-no-result 2022-04-11 11:45:06 +00:00
Nikita Mounier
4ecf2a8c24 Modify division behaviour to panic when dividing by 0, and add divChecked, divFloorChecked and divCeilingChecked` for safe alternatives which return a Result, mimicking the previous behaviour. 2022-04-11 11:23:33 +00:00
Folkert
823d4678a8
import Box in box tests 2022-04-10 20:12:59 +02:00
Folkert
6ef443d1b0
Merge remote-tracking branch 'origin/trunk' into builtins-in-roc 2022-04-10 19:14:00 +02:00
Ayaz Hafiz
a102a7497e
Support box/unbox for types that are typically only on the stack
Closes #2786
2022-04-09 16:22:01 -04:00