Samuel Hammersberg
|
d7549d421c
|
Fixed a missing dependency.
|
2023-03-28 13:49:34 +02:00 |
|
Samuel Hammersberg
|
66e419efa6
|
Fixed the unnamed temporary bugs.
|
2023-03-28 11:53:25 +02:00 |
|
sebastianselander
|
58fe92affe
|
Revert "restructured layout of code a bit"
This reverts commit 0639489d28.
|
2023-03-28 10:50:45 +02:00 |
|
sebastianselander
|
0639489d28
|
restructured layout of code a bit
|
2023-03-28 10:50:05 +02:00 |
|
sebastianselander
|
1558c98d10
|
improved the idea of error messages, still not very clean
|
2023-03-28 10:46:04 +02:00 |
|
sebastianselander
|
54f7d54bf9
|
fixed EAdd conversion bug in RemoveTEVars
|
2023-03-28 10:10:26 +02:00 |
|
sebastianselander
|
437c193ea8
|
fixed EAnn
|
2023-03-28 10:07:30 +02:00 |
|
Samuel Hammersberg
|
4d3d90c6a3
|
Added some debug options to the just file.
|
2023-03-28 09:48:27 +02:00 |
|
sebastian
|
0d2fe862e0
|
fixed bug and additional test
|
2023-03-27 23:05:40 +02:00 |
|
sebastian
|
4b24755b93
|
cleaned up implementations and added check for duplicate constructors
|
2023-03-27 22:38:39 +02:00 |
|
sebastian
|
e1633ea147
|
small fixed and added qualifiedDo
|
2023-03-27 21:17:00 +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 |
|
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 |
|
sebastianselander
|
6e54378327
|
Fixed errors in tc hm
|
2023-03-27 16:48:23 +02:00 |
|
Samuel Hammersberg
|
847ec37117
|
Fixed the dependency on the Grammar Ident.
|
2023-03-27 16:32:48 +02:00 |
|
Samuel Hammersberg
|
750503063a
|
Fixed the dependency on the Grammar Ident.
|
2023-03-27 16:31:47 +02:00 |
|
Samuel Hammersberg
|
72f4f26078
|
Fixed the dependency on the Grammar Ident.
|
2023-03-27 16:31:30 +02:00 |
|
Martin Fredin
|
db2f8cd197
|
Fix Codegen
|
2023-03-27 16:21:34 +02:00 |
|
sebastianselander
|
22783cf817
|
Removed custom Character in favor of BNFC Char
|
2023-03-27 16:14:40 +02:00 |
|
Martin Fredin
|
b7be75aa1e
|
Fix TypeCheckerIr
|
2023-03-27 16:14:14 +02:00 |
|
Samuel Hammersberg
|
623c6d1e58
|
Fixed language.cabal.
|
2023-03-27 16:11:33 +02:00 |
|
sebastianselander
|
aab75a10f2
|
fixed justfile
|
2023-03-27 16:10:24 +02:00 |
|
Martin Fredin
|
45527abd50
|
Fix module name
|
2023-03-27 16:10:02 +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 |
|
sebastianselander
|
aa4a615c28
|
fixed one bug
|
2023-03-27 14:44:21 +02:00 |
|
Samuel Hammersberg
|
bd3cf3c3f1
|
Fixed simple pattern matching.
|
2023-03-27 13:40:18 +02:00 |
|
Samuel Hammersberg
|
582747a997
|
The created binary is now saved in the output folder.
|
2023-03-27 10:07:04 +02:00 |
|
Samuel Hammersberg
|
5062356cef
|
Fixed broken padding on datatypes.
|
2023-03-27 10:05:39 +02:00 |
|
Samuel Hammersberg
|
91cfb21a35
|
Almost got a lot of bugs fixed.
|
2023-03-26 22:21:44 +02:00 |
|
Samuel Hammersberg
|
9952eb0279
|
Fixed the printing of TypeCheckerIr
|
2023-03-26 21:10:20 +02:00 |
|
sebastian
|
c37db41431
|
fixed bug
|
2023-03-26 18:52:25 +02:00 |
|
Samuel Hammersberg
|
ccfae19541
|
Added .crf to every sample-program
|
2023-03-26 18:38:07 +02:00 |
|
Samuel Hammersberg
|
9ea3a3dc56
|
Added another bug.
|
2023-03-26 18:37:55 +02:00 |
|
Samuel Hammersberg
|
ebac869761
|
Fixed a type error in teh codegen.
|
2023-03-26 18:24:12 +02:00 |
|
sebastian
|
4e92f86d60
|
added test for bug. experimented with solutions, none found
|
2023-03-26 16:57:34 +02:00 |
|
sebastian
|
2af7855a77
|
documented 3 bugs
|
2023-03-26 14:12:09 +02:00 |
|
sebastian
|
213741407b
|
small add to Justfile
|
2023-03-26 00:41:26 +01:00 |
|
sebastian
|
2974c10c0c
|
moved tests
|
2023-03-26 00:13:10 +01:00 |
|
sebastian
|
d49e2401bf
|
added file suffix and check
|
2023-03-26 00:09:47 +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 |
|
sebastian
|
accbd4eea6
|
dummy monomorphizer complete
|
2023-03-24 22:03:43 +01:00 |
|