Samuel Hammersberg
|
b1209b3353
|
Updated the monomorphizer to the new tree.
|
2023-03-24 17:13:56 +01:00 |
|
sebastianselander
|
3c2cb1a713
|
new good version works
|
2023-03-24 17:06:40 +01:00 |
|
Samuel Hammersberg
|
f404acdbad
|
Updated some more changes.
|
2023-03-24 17:00:31 +01:00 |
|
sebastianselander
|
481667f2d8
|
added tc as well
|
2023-03-24 16:10:52 +01:00 |
|
sebastianselander
|
38680a4dcb
|
adapted new tree to fuck with samuel
|
2023-03-24 16:10:52 +01:00 |
|
Samuel Hammersberg
|
50bea83a18
|
Got some more stuff working.
|
2023-03-24 16:01:34 +01:00 |
|
sebastianselander
|
f4163bbb7d
|
formatting
|
2023-03-24 14:56:33 +01:00 |
|
Victor Olin
|
35b2aa4a2f
|
Testing works, stack-overflow fixed
|
2023-03-24 13:41:14 +01:00 |
|
sebastianselander
|
ce3971cf75
|
renamed stuff
|
2023-03-24 12:24:08 +01:00 |
|
Samuel Hammersberg
|
3f618e77f9
|
Got most of the codegenerator working.
|
2023-03-24 11:55:05 +01:00 |
|
sebastianselander
|
32f8a3e8a9
|
duplicate signatures disallowed
|
2023-03-24 11:27:19 +01:00 |
|
sebastianselander
|
aa73f147f0
|
Remade lets with bind & improvements
|
2023-03-24 11:21:51 +01:00 |
|
sebastianselander
|
3371c3a146
|
Remade lets with bind & improvements
|
2023-03-24 11:21:51 +01:00 |
|
Samuel Hammersberg
|
30a79f34af
|
Added some missing functionality to the dummy monomorphizer.
|
2023-03-24 10:57:21 +01:00 |
|
valtermiari
|
5e2f4d464d
|
Merge branch 'g-collection' of https://github.com/bachelor-group-66-systemf/language into g-collection
|
2023-03-24 10:24:22 +01:00 |
|
valtermiari
|
266010e926
|
Benchmarking for h_test
|
2023-03-24 10:24:18 +01:00 |
|
Victor Olin
|
f222c6774f
|
Quick patch for Valter
|
2023-03-24 09:56:03 +01:00 |
|
Rakarake
|
bef7821756
|
ReaderT rewrite, recursive and cyclic calls should work
|
2023-03-24 00:55:05 +01:00 |
|
sebastian
|
fc60112877
|
Made binds keep args instead of lambda converting
|
2023-03-23 22:09:21 +01:00 |
|
Samuel Hammersberg
|
0012efabb7
|
Fixed some more stuff.
|
2023-03-23 22:01:40 +01:00 |
|
Samuel Hammersberg
|
75fa232e21
|
No more warnings, but everything to do with datatypes is outcommented.
|
2023-03-23 21:35:52 +01:00 |
|
Samuel Hammersberg
|
6cbc83c5d9
|
Fixed a miss.
|
2023-03-23 20:22:36 +01:00 |
|
Samuel Hammersberg
|
c85010a8a1
|
Fixed ExpT
|
2023-03-23 20:20:17 +01:00 |
|
sebastianselander
|
c6e8305215
|
created dummy monomorphizer
|
2023-03-23 18:18:03 +01:00 |
|
Samuel Hammersberg
|
c19f821892
|
Switched around EId.
|
2023-03-23 17:54:41 +01:00 |
|
Samuel Hammersberg
|
e283e83486
|
Fixed some reexports.
|
2023-03-23 17:49:37 +01:00 |
|
sebastianselander
|
e3df4192bb
|
created dummy monomorphizer
|
2023-03-23 17:20:19 +01:00 |
|
sebastianselander
|
42c8ebc7b6
|
Making progress towards finished product
|
2023-03-23 16:49:49 +01:00 |
|
Samuel Hammersberg
|
d3d173eb59
|
Merge remote-tracking branch 'origin/typechecking-merge' into pattern-matching-with-typechecking
|
2023-03-23 16:33:05 +01:00 |
|
Samuel Hammersberg
|
bf0064db86
|
Added the trait ToIr.
|
2023-03-23 16:13:59 +01:00 |
|
sebastianselander
|
519ed8af6c
|
Added monadic fail to renamer
|
2023-03-23 16:06:09 +01:00 |
|
Samuel Hammersberg
|
129a70e051
|
WIP Added support for more types of cases.
|
2023-03-23 15:29:25 +01:00 |
|
sebastianselander
|
7fa677e3d3
|
typechecker working, still unsure of quality
|
2023-03-23 14:18:23 +01:00 |
|
Victor Olin
|
e745593d94
|
Testing vector indexing
|
2023-03-23 13:32:24 +01:00 |
|
valtermiari
|
fb4cd8eb9b
|
Merge branch 'g-collection' of https://github.com/bachelor-group-66-systemf/language into g-collection
|
2023-03-23 13:26:32 +01:00 |
|
valtermiari
|
858c4102be
|
Added direct indexing
|
2023-03-23 13:26:26 +01:00 |
|
Victor Olin
|
7ea2e2733f
|
Moved Heap::the for safe compilation
|
2023-03-23 13:09:50 +01:00 |
|
Victor Olin
|
501f319834
|
Proper singleton implementation
|
2023-03-23 12:49:47 +01:00 |
|
sebastianselander
|
8d1330ad42
|
typechecker is compatible with one extra addition to the spec
|
2023-03-23 11:13:48 +01:00 |
|
Victor Olin
|
cb0c3717fe
|
More documentation
|
2023-03-23 11:11:43 +01:00 |
|
sebastian
|
3335ab7a57
|
compatible, EId rule for parsing is not working, testing not done yet
|
2023-03-22 21:26:14 +01:00 |
|
sebastianselander
|
914855e20f
|
working on adapting the typechecker
|
2023-03-22 17:52:39 +01:00 |
|
Victor Olin
|
43396b50cd
|
More documentation
|
2023-03-22 13:58:27 +01:00 |
|
sebastianselander
|
936cb1301f
|
new grammar and adapted renamer
|
2023-03-22 12:45:51 +01:00 |
|
valtermiari
|
f9932ce527
|
Merge branch 'g-collection' of https://github.com/bachelor-group-66-systemf/language into g-collection
|
2023-03-22 12:02:21 +01:00 |
|
valtermiari
|
8414703fe6
|
Complexity analysis to algorithms used in collect
|
2023-03-22 12:02:16 +01:00 |
|
Samuel Hammersberg
|
cd85297b85
|
Removed the ear operator.
|
2023-03-22 11:48:40 +01:00 |
|
Samuel Hammersberg
|
61c844a255
|
Revamped getNewVar
|
2023-03-22 11:46:07 +01:00 |
|
Samuel Hammersberg
|
feeef18cfd
|
Started implementing pattern matching on data types.
|
2023-03-22 11:41:02 +01:00 |
|
Victor Olin
|
ad29cc5ee5
|
Quick reference guide and runtime errors.
|
2023-03-22 11:18:30 +01:00 |
|