Martin Fredin
|
bbe0d77a19
|
Add signature of inferred bind to allow some mutually defined definitions
|
2023-03-30 12:35:47 +02:00 |
|
sebastianselander
|
4efe7cf9a2
|
inference does not depend on order. mutual recursion still not working correctly
|
2023-03-29 17:30:52 +02:00 |
|
Martin Fredin
|
4755f434fd
|
Add test for pattern matching on recursive data types, and remove traces
|
2023-03-29 11:26:47 +02:00 |
|
Rakarake
|
b35c19572f
|
Newer changes
|
2023-03-28 15:26:35 +02:00 |
|
sebastianselander
|
b1d3e31efd
|
Fixed previously incorrect type equality check, commented code, add test
|
2023-03-28 14:31:57 +02:00 |
|
sebastianselander
|
437c193ea8
|
fixed EAnn
|
2023-03-28 10:07:30 +02:00 |
|
sebastian
|
0d2fe862e0
|
fixed bug and additional test
|
2023-03-27 23:05:40 +02:00 |
|
Martin Fredin
|
a38e96a83b
|
Fix Ident print instance
|
2023-03-27 20:51:00 +02:00 |
|
sebastian
|
ad2bd645d9
|
tests are running now
|
2023-03-27 20:33:11 +02:00 |
|
Rakarake
|
0d23a59f0c
|
Merged into commit not compiling on codegen 😤
|
2023-03-27 19:14:35 +02:00 |
|
sebastianselander
|
506d8733d9
|
added old tests, still broken
|
2023-03-27 16:54:10 +02:00 |
|
sebastianselander
|
2adc3dceee
|
added old tests
|
2023-03-27 16:53:29 +02:00 |
|
sebastianselander
|
d5ce73beae
|
hm is compatible
|
2023-03-27 16:52:22 +02:00 |
|
Martin Fredin
|
ac3f222753
|
Add bidirectional type checker, lambda lifter.
|
2023-03-27 16:07:11 +02:00 |
|
sebastianselander
|
2fa30faa87
|
renamed stuff
|
2023-03-27 15:37:58 +02:00 |
|
sebastian
|
c37db41431
|
fixed bug
|
2023-03-26 18:52:25 +02:00 |
|
sebastian
|
2974c10c0c
|
moved tests
|
2023-03-26 00:13:10 +01:00 |
|
sebastian
|
ac43af8110
|
fixed a substitution bug where ap was incorrectly inferred.
also added cleaner fresh variables
|
2023-03-25 22:40:15 +01:00 |
|
sebastian
|
975dd34063
|
Better inference & stuff on pattern matches, added more tests for regression
|
2023-03-25 20:43:19 +01:00 |
|
sebastian
|
88eaa466e4
|
Nested pattern matching should work correctly, added more tests
|
2023-03-25 19:17:46 +01:00 |
|
sebastian
|
3082444347
|
fixed bugs potentially. tests are working atleast
|
2023-03-25 18:42:11 +01:00 |
|
sebastian
|
368413515b
|
found incorrectly accepted program. added test
|
2023-03-25 12:04:00 +01:00 |
|
sebastian
|
05333c5689
|
started on cleaner unit tests
|
2023-03-25 00:02:38 +01:00 |
|
sebastianselander
|
3c2cb1a713
|
new good version works
|
2023-03-24 17:06:40 +01:00 |
|
sebastianselander
|
42c8ebc7b6
|
Making progress towards finished product
|
2023-03-23 16:49:49 +01:00 |
|
sebastianselander
|
8d1330ad42
|
typechecker is compatible with one extra addition to the spec
|
2023-03-23 11:13:48 +01:00 |
|
Rakarake
|
96c4a2bddf
|
Added test of multiple instanciations of same polymorphic function
|
2023-03-10 17:20:23 +01:00 |
|
Rakarake
|
f10919ac20
|
Better tests
|
2023-03-09 18:32:00 +01:00 |
|
Rakarake
|
d377ded7e1
|
Deleted bad sample programs, added polymorphic call in polymorphic function test
|
2023-03-08 17:38:50 +01:00 |
|
Rakarake
|
63f9689f38
|
Simple polymorphic and monomorphic functions properly morphed in test demo.
|
2023-03-07 18:49:21 +01:00 |
|
Rakarake
|
887c3b8391
|
Working on bugs
|
2023-03-07 16:42:56 +01:00 |
|
sebastianselander
|
eef6fa7668
|
added new test and found another bug
|
2023-03-06 16:25:03 +01:00 |
|
sebastianselander
|
6947614fba
|
Updated bug list & started working on more tests
|
2023-03-06 13:04:07 +01:00 |
|
sebastianselander
|
05313652f9
|
unit tests, started on pattern matching
|
2023-02-28 17:15:48 +01:00 |
|
sebastianselander
|
2f45f39435
|
Incorporated most of main, as well as started on quickcheck
|
2023-02-27 11:12:05 +01:00 |
|
sebastianselander
|
06e65de235
|
started on a test suite
|
2023-02-23 11:54:35 +01:00 |
|