Victor Olin
|
bf3d91cdf1
|
profiler improvement
|
2023-05-15 18:26:33 +02:00 |
|
Victor Olin
|
e51ba7679b
|
testing testing...
|
2023-05-15 18:26:23 +02:00 |
|
Victor Olin
|
fda9e6728f
|
Cleaned up include guards
|
2023-05-15 18:26:14 +02:00 |
|
Victor Olin
|
a34dec35c6
|
Wrapper docs
|
2023-05-15 18:26:05 +02:00 |
|
Victor Olin
|
eae7d9c670
|
Wrapper works
|
2023-05-15 18:25:17 +02:00 |
|
valtermiari
|
14026b1912
|
Start of wrapper test
|
2023-05-15 18:25:07 +02:00 |
|
Victor Olin
|
07bb53930b
|
Wrapper for GC finished, untested
|
2023-05-15 18:24:29 +02:00 |
|
Victor Olin
|
4f0f8ffef8
|
Started working on a C wrapper
|
2023-05-15 18:24:12 +02:00 |
|
Victor Olin
|
43ce0ecd71
|
yeet
|
2023-05-15 18:09:50 +02:00 |
|
Martin Fredin
|
e2b3f36a64
|
Fix example
|
2023-05-15 17:33:43 +02:00 |
|
Martin Fredin
|
06259e8abf
|
Move file
|
2023-05-15 17:28:42 +02:00 |
|
Martin Fredin
|
9507cf30d5
|
Fix example
|
2023-05-15 17:27:30 +02:00 |
|
Martin Fredin
|
2a01f3e8b3
|
Add clang to nix file
|
2023-05-15 17:26:49 +02:00 |
|
sebastianselander
|
9495c3b12a
|
Fixed error message
|
2023-05-15 13:45:50 +02:00 |
|
Samuel Hammersberg
|
229679f60d
|
Fixed a source of segfaults.
|
2023-05-15 09:45:02 +02:00 |
|
Martin Fredin
|
0659386ae7
|
Add call-by-name lambda calculus example
|
2023-05-15 00:32:53 +02:00 |
|
Martin Fredin
|
36df452db5
|
Fix preludeFuns and remove ptr %cxt from main
|
2023-05-15 00:32:34 +02:00 |
|
Martin Fredin
|
5e15983f4c
|
Revork type checking of data types to make in reliable
|
2023-05-15 00:31:30 +02:00 |
|
Martin Fredin
|
46d4ef3923
|
Order binds with signatures same as binds without signatures
|
2023-05-15 00:30:37 +02:00 |
|
Martin Fredin
|
814ebc1ac0
|
Fix primitives definitions and comment out eta expander util fixed
|
2023-05-15 00:28:40 +02:00 |
|
Martin Fredin
|
e1bb5760e0
|
Fix quicksort example
|
2023-05-15 00:27:48 +02:00 |
|
Martin Fredin
|
2d41dac6eb
|
Add missing ptr null to constructors with no arguments (e.g. Nil)
|
2023-05-14 13:24:27 +02:00 |
|
sebastian
|
86256066b6
|
Removed internal sorter in HM
|
2023-05-13 17:23:10 +02:00 |
|
sebastian
|
a6ed6e589b
|
Fixed two inference bugs
|
2023-05-13 01:40:05 +02:00 |
|
sebastianselander
|
8b92dd9194
|
Added η-expander module and removed EAdd from grammar.
|
2023-05-12 16:25:48 +02:00 |
|
Martin Fredin
|
c3bcdfa81b
|
Propagate type application, temporary remove nested pattern matching, fix void output
|
2023-05-12 11:47:25 +02:00 |
|
sebastianselander
|
6260dc2c41
|
A lot of small changes, added better error messages for bugs mainly
|
2023-05-11 18:37:03 +02:00 |
|
sebastianselander
|
5e1c81beb7
|
quicksort works
|
2023-05-11 11:14:44 +02:00 |
|
sebastian
|
49ef3f9f7c
|
Fixed bug in HM, fixed and reimported tests.
|
2023-05-10 23:54:31 +02:00 |
|
sebastianselander
|
c5fbd70756
|
larger prelude, changed lambda calc interpreter, quicksort
|
2023-05-10 20:13:22 +02:00 |
|
Martin Fredin
|
819f32d621
|
Fix signature in prelude
|
2023-05-10 19:45:57 +02:00 |
|
Martin Fredin
|
b277775792
|
Fix bug
|
2023-05-10 19:45:25 +02:00 |
|
Martin Fredin
|
30c59596c7
|
Fix lambdalifter closure in case
|
2023-05-10 19:42:27 +02:00 |
|
Martin Fredin
|
0aebe4a7b1
|
Remove llvm file
|
2023-05-10 09:45:50 +02:00 |
|
Martin Fredin
|
06a25de61d
|
Rename litType to typeof
|
2023-05-10 09:44:55 +02:00 |
|
sebastianselander
|
ee30b5db45
|
Printing evaluation order
|
2023-05-08 22:09:14 +02:00 |
|
Samuel Hammersberg
|
56c80faeff
|
Fixed a typo
|
2023-05-08 22:07:35 +02:00 |
|
Samuel Hammersberg
|
94dd3bf1ea
|
Fixed a typo.
|
2023-05-08 22:07:10 +02:00 |
|
Samuel Hammersberg
|
8836e6b91f
|
Printing works now!!!
|
2023-05-08 21:53:58 +02:00 |
|
sebastianselander
|
d3d2c61dc6
|
more Justfile command and fixed bug in Monomorphizer
|
2023-05-08 21:50:54 +02:00 |
|
Samuel Hammersberg
|
23f4e3365a
|
Fixed another bug.
|
2023-05-08 21:50:23 +02:00 |
|
sebastianselander
|
476d566468
|
Updated prelude
|
2023-05-08 21:04:55 +02:00 |
|
Samuel Hammersberg
|
5a7332f3a8
|
Fixed one error with chars.
|
2023-05-08 21:04:13 +02:00 |
|
Samuel Hammersberg
|
51f23d7f6e
|
Fixed some missing cases.
|
2023-05-08 20:55:42 +02:00 |
|
Samuel Hammersberg
|
8ddb0ed052
|
We can now print strings :)
|
2023-05-08 20:54:02 +02:00 |
|
sebastianselander
|
3755d41b59
|
Removed trace
|
2023-05-08 20:44:20 +02:00 |
|
sebastianselander
|
84847b9abb
|
printChar and printStr in prelude
|
2023-05-08 20:38:45 +02:00 |
|
sebastianselander
|
2fab7f2bdf
|
more sample programs, added strings, added desugar for strings
|
2023-05-08 20:23:30 +02:00 |
|
Rakarake
|
2226a6ad33
|
Made it possible for main to have different monomorphic types
|
2023-05-08 20:16:18 +02:00 |
|
Rakarake
|
283f8ccf83
|
Merge branch 'main' of github.com:bachelor-group-66-systemf/churf
|
2023-05-08 19:29:32 +02:00 |
|