Commit graph

81 commits

Author SHA1 Message Date
Folkert
725d52f7c6 make exceptions work on linux again 2020-12-21 02:12:30 +01:00
Chadtech
745094a94c Correct tag alias Dict to be RedBlackTree 2020-12-11 21:11:31 -05:00
Folkert
b669202d86 fix wildcards not recognized as rigids 2020-12-11 01:49:54 +01:00
Folkert
f5c267acf4 fix problem with empty closures still considered closures 2020-12-10 23:58:53 +01:00
rvcas
4987721154 feat(Num): rename Num.Int to Num.I64 2020-12-07 19:17:20 -05:00
rvcas
f7bd803509 feat(Num): rename Float to F64 2020-11-24 10:25:21 -05:00
Richard Feldman
144bdcb3bb Fix some gen_primitives tests 2020-11-23 00:33:56 -05:00
Richard Feldman
da328f9e78 Fix gen tests 2020-11-23 00:24:40 -05:00
Folkert
b6d46bb6f9 add another failing test case 2020-11-17 02:30:59 +01:00
Folkert
8f49b1afaa re-enable RBTree.balance test 2020-11-17 02:13:40 +01:00
Folkert
93b6315f46 fix pattern match test ordering problem 2020-11-16 02:18:18 +01:00
Folkert
a952d24370 comment another test 2020-11-15 03:03:52 +01:00
Folkert
d55b1a2e87 add tests 2020-11-15 02:14:12 +01:00
Folkert
154b5cc29f get RBTree.balance to compile 2020-11-14 02:49:28 +01:00
Folkert
ed26b07916 more tests, for (deeply nested) pattern matching 2020-11-13 01:36:19 +01:00
Folkert
21685b6f8f add tests for the rigid issue 2020-11-11 22:55:46 +01:00
Folkert
3aa6455795 fix problem with recursive definition constraint gen 2020-11-10 19:40:35 +01:00
Folkert
be5c748b7f revert some debug things 2020-11-10 14:12:01 +01:00
Folkert
3f485b63d6 cleanup 2020-11-09 00:16:04 +01:00
Folkert
0d5aaf2aaa make getLine : Effect {} work 2020-11-08 23:36:08 +01:00
Folkert
2cf7a9fe42 fix tests 2020-11-03 20:13:38 +01:00
Folkert
f758958d4a deliberately don't run some tests in opt mode 2020-10-30 01:44:54 +01:00
Folkert
a0c8915678 Merge remote-tracking branch 'origin/trunk' into fix-alias-inference 2020-10-29 14:40:55 +01:00
Folkert
ef1cee6c41 HUGE WIP 2020-10-28 01:13:04 +01:00
Folkert
5fbcfe18d3 new recvar design 2020-10-26 16:16:01 +01:00
Folkert
7d2cc3aac2 WIP 2020-10-25 22:16:27 +01:00
Folkert
b4a9ffdccd tests as they currently pass 2020-10-25 19:24:49 +01:00
Richard Feldman
17b2eebcfc REVERT THIS! Temporarily disable exception tests.
These currently break on Linux, but pass on macOS.

They worked fine with JITExecutionEngine on Linux,
but JITExecutionEngine failed on macOS.
2020-10-25 01:42:10 -04:00
Folkert
c8c1a0678a code gen for variably-sized closures 2020-10-21 13:01:27 +02:00
Folkert
b0121097c9 store closures in data structures 2020-10-20 20:01:01 +02:00
Folkert
33ff36daad make things work by removing type signatures 2020-10-19 00:28:14 +02:00
Folkert
847a1be65e comment out type aliases for the unique version 2020-10-18 23:53:43 +02:00
Folkert
b0ef8b9b07 clarify how we deal with a closure layout 2020-10-18 21:05:48 +02:00
Folkert
b26f778ee0 code gen for closures that are by-unification, not because they capture anything 2020-10-18 20:50:51 +02:00
Folkert
9cecfe3558 remove closes_over field 2020-10-18 20:45:28 +02:00
Folkert
39f52f22fa add more closure tests 2020-10-18 20:11:18 +02:00
Folkert
607799b96e steps towards closures and Effects 2020-10-17 20:53:57 +02:00
Folkert
edfc96628e WIP 2020-10-17 14:53:57 +02:00
Folkert
6227a3480e cleanup 2020-10-17 02:51:42 +02:00
Folkert
1708484eb5 fix mono tests 2020-10-17 02:39:44 +02:00
Folkert
8b490b6221 make closure layout more robust 2020-10-17 01:48:55 +02:00
Folkert
752a40a23c fix or ignore gen tests 2020-10-16 21:19:25 +02:00
Folkert
40ffca2b7b IT WORKS 2020-10-16 00:18:40 +02:00
Folkert
d0f031fe6c use captured_symbols to determine the closure type 2020-10-15 16:17:59 +02:00
Folkert
6318f032df first shot at implementing closure layout 2020-10-15 16:03:56 +02:00
Folkert
7f1dd80392 hook up size inference, WIP 2020-10-14 22:55:25 +02:00
Folkert
b3e3eb24a8 missed a thing 2020-10-14 17:07:19 +02:00
Folkert
106024b4bb fix bug converting recursive tag union to solved type 2020-10-14 16:57:43 +02:00
Folkert
62ed1508d5 fix mistake in tests
no idea why this passed before, it clearly shouldn't
2020-10-14 16:37:53 +02:00
Folkert
8338296da2 add top-level thunks to the scope everywhere 2020-10-14 15:03:41 +02:00