Commit graph

67 commits

Author SHA1 Message Date
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
Folkert
07e29eb34c initial implementation 2020-10-14 14:43:59 +02:00
Folkert
f07fe1879b fix problem with specializing rigids 2020-10-14 02:21:33 +02:00
Folkert
2da2c25d32 research bug with linked list and uniqueness 2020-10-14 00:49:14 +02:00
Folkert
f6106166f1 fix bug with nested lets 2020-10-14 00:32:58 +02:00
Folkert
89a1146c19 run gen tests as modules 2020-10-13 21:45:41 +02:00
Folkert
16fc5dd497 Merge remote-tracking branch 'origin/trunk' into exception-handling 2020-09-19 21:50:57 +02:00
Folkert
9a0a13646f fix repl 2020-09-19 01:46:14 +02:00
Folkert
14da3906da wip 2020-09-18 01:07:53 +02:00
Richard Feldman
4713d41e76 Drop obsolete test 2020-09-16 02:03:34 -04:00
Folkert
0344030015 allow calling of functions passed as arguments 2020-09-08 14:19:47 +02:00
Folkert
4522fe14fc fix recursion issue in type inference 2020-09-07 16:35:49 +02:00
Folkert
0a034c474a fix test failures 2020-09-07 14:36:33 +02:00
Folkert
127dd06586 fix bug with optional record fields 2020-09-07 14:13:22 +02:00
Folkert
ceb938c9af get tests working again 2020-09-06 00:26:41 +02:00