Folkert
|
e4566b9757
|
clean up comment
|
2020-03-20 11:47:22 +01:00 |
|
Richard Feldman
|
b33af811d0
|
Merge branch 'trunk' into unit-types
|
2020-03-19 22:05:22 -04:00 |
|
Richard Feldman
|
b5ab2b2201
|
Merge branch 'trunk' into render-color-cli
|
2020-03-19 21:50:58 -04:00 |
|
Folkert
|
14979ceb41
|
Merge remote-tracking branch 'origin/trunk' into unit-types
|
2020-03-20 01:02:13 +01:00 |
|
Folkert
|
f44fea42bb
|
Boolean and/or in cranelift
|
2020-03-20 00:59:26 +01:00 |
|
Folkert
|
e6bee2656d
|
add Bool.and for llvm
|
2020-03-19 23:18:44 +01:00 |
|
Folkert
|
82655556ab
|
exhaustiveness for record guards
|
2020-03-19 22:34:08 +01:00 |
|
Folkert
|
0985037754
|
expand record pattern matches to bind all unused fields with underscore
this will simplify exhaustiveness checking, because a record is not like a one-tag union
|
2020-03-19 20:42:58 +01:00 |
|
Folkert
|
5fc96c09ee
|
Add record patterns
|
2020-03-19 17:08:29 +01:00 |
|
Folkert
|
9745d86efb
|
add tests
|
2020-03-19 14:59:05 +01:00 |
|
Folkert
|
006b1f8696
|
Switch on floats in llvm
|
2020-03-19 14:58:28 +01:00 |
|
Folkert
|
9b81a94786
|
Switch on floats in crane
|
2020-03-19 14:43:58 +01:00 |
|
Folkert
|
6b7b393d32
|
Switch on tags in crane
|
2020-03-19 14:39:04 +01:00 |
|
Folkert
|
0075e3fb04
|
attempt at float switches
needs something more , will circle back later
|
2020-03-19 14:25:37 +01:00 |
|
Folkert
|
f30655a103
|
Switch on tags in llvm
|
2020-03-19 14:18:54 +01:00 |
|
Folkert
|
0593a39e0f
|
uncomment test
|
2020-03-19 12:35:11 +01:00 |
|
Folkert
|
20dc928bfe
|
fix test on maybe
used elm syntax instead of roc
|
2020-03-19 12:32:48 +01:00 |
|
Folkert
|
c31116af87
|
preparation for recursive tag unions
|
2020-03-19 12:20:12 +01:00 |
|
Folkert
|
9d1e2a0ef1
|
support zero-sized values (empty record, unit type)
They now use no stack space
|
2020-03-19 11:31:06 +01:00 |
|
Dan Bruder
|
2c630fd014
|
Use sorted fields from struct layout as well as layout.stack_size in crane and llvm access
|
2020-03-19 05:59:29 -04:00 |
|
Dan Bruder
|
59bcda21f5
|
tests pass for crane f64
|
2020-03-19 05:46:11 -04:00 |
|
Chad Stearns
|
3984a8d60e
|
Merging in remote
|
2020-03-19 01:10:57 -04:00 |
|
Chad Stearns
|
beb94dc6f5
|
Cargo Fmt
|
2020-03-19 01:10:04 -04:00 |
|
Richard Feldman
|
04f8b93a9b
|
the clippiest of clips
|
2020-03-18 21:31:01 -04:00 |
|
Richard Feldman
|
8f51b2d429
|
Don't hardcode elem_bytes in llvm
|
2020-03-18 21:31:01 -04:00 |
|
Richard Feldman
|
0a045ccec8
|
Don't hardcode List slots in Cranelift
|
2020-03-18 21:31:01 -04:00 |
|
Richard Feldman
|
43c4fadd6e
|
Use usize length, no capacity for llvm List
|
2020-03-18 21:31:01 -04:00 |
|
Richard Feldman
|
59368caa0c
|
Revert various attempts to use target_data
|
2020-03-18 21:26:51 -04:00 |
|
Richard Feldman
|
c425490317
|
Another failed attempt to use target_data
|
2020-03-18 21:26:51 -04:00 |
|
Richard Feldman
|
6e977d96fc
|
Failed attempt to use target_data
|
2020-03-18 21:26:51 -04:00 |
|
Richard Feldman
|
eed9fb0e69
|
Have Env store TargetData instead of pointer_bytes
|
2020-03-18 21:26:51 -04:00 |
|
Folkert
|
b93fe4e341
|
make arbitrary AccessAtIndex work
it now uses that actual layout, not a hardcoded one
|
2020-03-19 00:25:16 +01:00 |
|
Folkert
|
f3f135eca5
|
make Layout Hash
|
2020-03-18 23:26:17 +01:00 |
|
Folkert
|
b28a6ffa33
|
optimize tag union layout calculation
|
2020-03-18 22:42:10 +01:00 |
|
Folkert
|
0996f264e7
|
simplify Byte layout
|
2020-03-18 22:22:32 +01:00 |
|
Folkert
|
c11f374eb0
|
simplify Bool layout
|
2020-03-18 22:15:03 +01:00 |
|
Folkert
|
f906c9b4b4
|
uncomment cranelift tests
|
2020-03-18 21:39:39 +01:00 |
|
Folkert
|
99db336033
|
Working pattern match on Result Int Int
|
2020-03-18 21:35:10 +01:00 |
|
Folkert
|
53bd47221c
|
WIP things seem to work in theory
|
2020-03-18 16:44:53 +01:00 |
|
Folkert
|
845e30658e
|
WIP
|
2020-03-18 02:20:21 +01:00 |
|
Folkert
|
165c5d8363
|
load/store all tags in llvm
|
2020-03-17 22:04:11 +01:00 |
|
Folkert
|
6253d2d1af
|
pattern match on single-tag tag unions
in LLVM and crane
|
2020-03-17 19:44:59 +01:00 |
|
Folkert
|
b5abed5f54
|
variables in pattern matches on single tags
|
2020-03-17 16:27:09 +01:00 |
|
Folkert
|
ba69987c1a
|
llvm one element tag store
|
2020-03-17 15:29:40 +01:00 |
|
Folkert
|
b6ca5e2fb9
|
allow Attr wrapper in tag union ext
this should not happen, but we sometimes call this function on the whole tag, which then may be Attr-wrapped
|
2020-03-17 15:27:05 +01:00 |
|
Folkert
|
9d756a3b2c
|
generate unpacked tags in Crane
|
2020-03-17 15:26:21 +01:00 |
|
Folkert
|
c3d550116b
|
make patterns store their bound variables
|
2020-03-17 14:04:26 +01:00 |
|
Folkert
|
6310341b7e
|
Merge remote-tracking branch 'origin/trunk' into pattern-compilation
|
2020-03-17 12:49:30 +01:00 |
|
Richard Feldman
|
9d950389f5
|
Implement list cloning and List.set in Cranelift
|
2020-03-17 00:45:07 -04:00 |
|
Richard Feldman
|
c0d0675919
|
Clean up some comments and names
|
2020-03-17 00:44:35 -04:00 |
|