Richard Feldman
|
c3fcfd65cb
|
Move reporting into its own crate
|
2020-03-06 02:06:18 -05:00 |
|
Richard Feldman
|
3b26a982f0
|
Move pretty_print_types into types crate
|
2020-03-06 02:01:05 -05:00 |
|
Richard Feldman
|
45bda2e0c7
|
Move unique_builtins into builtins crate
|
2020-03-06 01:47:04 -05:00 |
|
Richard Feldman
|
cc92ca7e7c
|
Move solve and unify into their own crates
|
2020-03-06 01:43:50 -05:00 |
|
Richard Feldman
|
908e485fca
|
Move constrain and its deps into their own crates
|
2020-03-06 01:43:39 -05:00 |
|
Richard Feldman
|
758de2e7bf
|
Merge pull request #225 from rtfeldman/workspace2
Extract can/ into its own crate, plus its deps
|
2020-03-05 23:39:06 -05:00 |
|
Richard Feldman
|
5b5f800c70
|
cargo fmt
|
2020-03-05 23:03:49 -05:00 |
|
Richard Feldman
|
8ef2ae3de7
|
clippy clip clip
|
2020-03-05 23:03:29 -05:00 |
|
Richard Feldman
|
3b6ed43126
|
Extract can/ into its own crate, plus its deps
|
2020-03-05 23:01:32 -05:00 |
|
Richard Feldman
|
97e6affa88
|
Merge pull request #224 from rtfeldman/error-messages
Error messages
|
2020-03-05 23:01:21 -05:00 |
|
Richard Feldman
|
6ac60fa5cb
|
Update reporting to use new crate structure.
|
2020-03-05 20:52:00 -05:00 |
|
Richard Feldman
|
a1b8c97039
|
Added can_problem and Docs
|
2020-03-05 20:48:13 -05:00 |
|
Richard Feldman
|
d5163fa4d4
|
Add src/reporting.rs
|
2020-03-05 20:48:13 -05:00 |
|
Richard Feldman
|
5615a26569
|
Drop obsolete comment
|
2020-03-05 20:48:13 -05:00 |
|
Richard Feldman
|
15092e7424
|
Merge pull request #223 from rtfeldman/various-bugfixes
Various bugfixes
|
2020-03-05 20:47:19 -05:00 |
|
Folkert
|
0f8373d39f
|
register rigids correctly
|
2020-03-06 00:33:37 +01:00 |
|
Folkert
|
9818b1a2da
|
fix typo in unify
Caused incorrect unification of records in some circumstances
|
2020-03-06 00:33:24 +01:00 |
|
Folkert
|
429ba6ed06
|
make call_successors safe
For recursive functions, it could enter an infinite recursion.
|
2020-03-06 00:33:08 +01:00 |
|
Richard Feldman
|
f265651ee6
|
Merge pull request #222 from rtfeldman/workspace
Use a workspace at the root
|
2020-03-05 17:58:05 -05:00 |
|
Richard Feldman
|
313b7a79e8
|
Use workspaces and move everything into compiler/
|
2020-03-05 17:45:52 -05:00 |
|
Richard Feldman
|
90e7cf8a15
|
formatting
|
2020-03-05 17:38:26 -05:00 |
|
Folkert
|
6fa2a56a5c
|
Fix doulbe Attr wrapping in List.getUnsafe
|
2020-03-05 17:38:26 -05:00 |
|
Richard Feldman
|
9eb52ee1d8
|
Rename alwaysIdentity
|
2020-03-03 22:00:59 -05:00 |
|
Richard Feldman
|
05b759d289
|
Merge pull request #216 from rtfeldman/opt
Code gen from uniqueness types
|
2020-03-03 21:46:47 -05:00 |
|
Richard Feldman
|
a93da632d7
|
Move test_opt contents to test_gen
|
2020-03-03 21:32:08 -05:00 |
|
Richard Feldman
|
0442a0172e
|
Add basic test_opt
|
2020-03-03 21:32:08 -05:00 |
|
Richard Feldman
|
99ee9dc3b1
|
Handle Attr.Attr in numbers
|
2020-03-03 21:32:08 -05:00 |
|
Richard Feldman
|
b988fc6e56
|
Return loc_expr from uniq_expr
|
2020-03-03 21:32:08 -05:00 |
|
Richard Feldman
|
54ead11f5d
|
Accept a reference instead of owned value
|
2020-03-03 21:32:08 -05:00 |
|
Richard Feldman
|
31fad98eab
|
Merge pull request #215 from rtfeldman/cache-aliases
cache aliases in type_to_var
|
2020-03-03 21:32:02 -05:00 |
|
Folkert
|
300403f186
|
cache aliases in type_to_var
|
2020-03-03 20:45:46 +01:00 |
|
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 |
|