Richard Feldman
|
cf09541757
|
Merge pull request #214 from rtfeldman/negate
Num.neg for ints
|
2020-03-02 22:45:04 -05:00 |
|
Richard Feldman
|
02a9a7701a
|
Implement Num.neg for int
|
2020-03-02 20:45:18 -05:00 |
|
Richard Feldman
|
7b0c9408c1
|
Update docs
|
2020-03-02 20:43:57 -05:00 |
|
Richard Feldman
|
bcf9c2bd1f
|
Merge pull request #213 from rtfeldman/pretty-print-rigids
correctly print repeatedly-used rigids
|
2020-03-02 20:11:28 -05:00 |
|
Folkert
|
64fbf90fd9
|
correctly print repeatedly-used rigids
They were not stored correctly
|
2020-03-02 22:02:10 +01:00 |
|
Folkert de Vries
|
d4d6ca2a4a
|
Merge pull request #211 from rtfeldman/unique-builtins-implementations
Unique builtins implementations
|
2020-03-02 12:44:45 +01:00 |
|
Richard Feldman
|
cec3725941
|
Merge branch 'trunk' into unique-builtins-implementations
|
2020-03-01 19:41:37 -05:00 |
|
Richard Feldman
|
9f3e366644
|
Merge pull request #209 from rtfeldman/list-int
Code gen List.set for List Int
|
2020-03-01 19:41:21 -05:00 |
|
Folkert
|
a6c0cb7692
|
happy clippy, sleepy clippy, purr purr purr
|
2020-03-02 00:09:09 +01:00 |
|
Folkert
|
c67a83e522
|
Merge remote-tracking branch 'origin/trunk' into unique-builtins-implementations
|
2020-03-01 23:58:57 +01:00 |
|
Richard Feldman
|
c5784a66d3
|
Code gen List.set
|
2020-03-01 14:38:35 -05:00 |
|
Richard Feldman
|
a1c1473724
|
Add failing test for List.set code gen
|
2020-03-01 14:38:23 -05:00 |
|
Richard Feldman
|
1be57919d1
|
Update some comments
|
2020-03-01 14:38:01 -05:00 |
|
Folkert
|
4c5e41e060
|
attempt to fix uniqueness var renamings
|
2020-03-01 14:50:22 +01:00 |
|
Richard Feldman
|
aa8f151d34
|
Merge pull request #208 from rtfeldman/list-int
Basic List Int code gen in LLVM
|
2020-03-01 02:45:46 -05:00 |
|
Richard Feldman
|
de5d343610
|
Implement List.getUnsafe in LLVM
|
2020-03-01 02:07:41 -05:00 |
|
Richard Feldman
|
75c2a7ba57
|
Make stack_size work with llvm and crane
|
2020-03-01 02:07:41 -05:00 |
|
Richard Feldman
|
007e8340a0
|
Merge pull request #207 from rtfeldman/list-int
Basic List Int code gen in Cranelift
|
2020-03-01 00:57:45 -05:00 |
|
Richard Feldman
|
81f3605fde
|
Fix uniqueness tests
|
2020-02-29 20:55:27 -05:00 |
|
Richard Feldman
|
25e55185b5
|
Implement List.getUnsafe in Cranelift
|
2020-02-29 20:08:24 -05:00 |
|
Richard Feldman
|
374c739e03
|
Build an Array in Cranelift
|
2020-02-29 20:08:24 -05:00 |
|
Richard Feldman
|
5d07057e09
|
Add a test_infer for List.get
|
2020-02-29 20:08:24 -05:00 |
|
Richard Feldman
|
46f8f2313f
|
Cranelift test for getting an elem from a List Int
|
2020-02-29 20:08:15 -05:00 |
|
Richard Feldman
|
b5fff4c0cd
|
Make a debug panic more helpful
|
2020-02-29 20:06:07 -05:00 |
|
Richard Feldman
|
17fd5e5b15
|
Add a comment to stack_size function
|
2020-02-29 20:05:57 -05:00 |
|
Richard Feldman
|
f957d694c8
|
Added List.getUnsafe for now
|
2020-02-29 20:05:41 -05:00 |
|
Richard Feldman
|
ea812de63f
|
s/entry_var/elem_var/g for clarity
|
2020-02-29 20:05:22 -05:00 |
|
Folkert
|
ed2edd1b6c
|
extend uniqueness apis
|
2020-02-29 23:42:58 +01:00 |
|
Folkert
|
9f0266ace3
|
add assert to ensure unique and normal are in sync
|
2020-02-29 23:01:17 +01:00 |
|
Folkert
|
33d5c2c0e2
|
extend unique List api
|
2020-02-29 22:44:51 +01:00 |
|
Folkert
|
af3fc03c26
|
always make Attr an alias
Recursion correction still made an Apply
|
2020-02-29 15:17:53 +01:00 |
|
Richard Feldman
|
73cf2dc45b
|
Merge pull request #206 from rtfeldman/crane-str
Code gen Str in Cranelift too
|
2020-02-28 22:51:56 -05:00 |
|
Richard Feldman
|
89a679e9f4
|
Minor docs clarification
|
2020-02-28 21:56:11 -05:00 |
|
Richard Feldman
|
f652687718
|
Upgrade Inkwell
|
2020-02-28 21:51:57 -05:00 |
|
Richard Feldman
|
44f7e1b078
|
Code gen Str in Crane
|
2020-02-28 21:36:23 -05:00 |
|
Richard Feldman
|
b3ead65c44
|
Remove obsolete test
|
2020-02-28 21:36:23 -05:00 |
|
Richard Feldman
|
c610091f29
|
Fix malloc in crane
|
2020-02-28 21:36:23 -05:00 |
|
Richard Feldman
|
e19b5da411
|
Early pass at malloc in crane
|
2020-02-28 21:36:23 -05:00 |
|
Richard Feldman
|
13699a900f
|
Add Str to cranelift
|
2020-02-28 21:36:23 -05:00 |
|
Richard Feldman
|
8e568789b9
|
Add malloc to Cranelift
|
2020-02-28 21:36:23 -05:00 |
|
Richard Feldman
|
43229365ed
|
Upgrade to Cranelift 0.59
|
2020-02-28 21:36:23 -05:00 |
|
Richard Feldman
|
4c7b41a9c4
|
Test basic_str on cranelift too
|
2020-02-28 21:36:22 -05:00 |
|
Richard Feldman
|
fcafc68274
|
Merge pull request #204 from rtfeldman/llvm-str
Generate Str values in LLVM
|
2020-02-28 21:35:42 -05:00 |
|
Folkert
|
f7978d13b7
|
convert Bool into a SendType equivalent
|
2020-02-28 23:39:00 +01:00 |
|
Folkert
|
a55e29e6a0
|
add signatures for boolean functions
|
2020-02-28 23:18:26 +01:00 |
|
Richard Feldman
|
63a4b6912e
|
Clippy gonna clip
|
2020-02-27 20:58:14 -05:00 |
|
Richard Feldman
|
f8120d5e41
|
Generate strings in LLVM
|
2020-02-27 20:58:14 -05:00 |
|
Richard Feldman
|
7b79bdb7b4
|
Improve some LLVM logging
|
2020-02-27 20:58:14 -05:00 |
|
Richard Feldman
|
d663633f69
|
Add a test for LLVM string generation
|
2020-02-27 20:58:14 -05:00 |
|
Richard Feldman
|
d9e79fc439
|
Allow transforming output in test_gen
|
2020-02-27 20:58:14 -05:00 |
|