sebastianselander
|
2f8550d0e5
|
Cleaned files, output file name match name of text file
|
2023-05-30 14:39:38 +02:00 |
|
sebastianselander
|
4f9cb8d3b0
|
Remade quicksort demo to be much larger
|
2023-05-23 16:10:03 +02:00 |
|
Samuel Hammersberg
|
c9424c47b9
|
Added print int in the code gen.
|
2023-05-23 15:37:07 +02:00 |
|
sebastianselander
|
33e5dcd49b
|
examples ready for demonstration
|
2023-05-23 12:35:59 +02:00 |
|
Samuel Hammersberg
|
1dc1b8f92e
|
Added some toplevel comments.
|
2023-05-20 19:03:06 +02:00 |
|
sebastian
|
de1ca23db7
|
Remade <<=, better err msg, removed writer monad
|
2023-05-17 17:31:08 +02:00 |
|
sebastianselander
|
5eaf7ae00d
|
cleaned up a bit
|
2023-05-17 13:58:49 +02:00 |
|
sebastian
|
0e7d485e9e
|
Fixed pattern match bug in HM, removed some unused code, added debug
help in main
|
2023-05-16 23:32:29 +02:00 |
|
sebastianselander
|
0fd8a9bc74
|
Yur
|
2023-05-16 17:24:51 +02:00 |
|
sebastian
|
0bbbd82158
|
Improved error message in Monomorphizer
|
2023-05-15 23:44:20 +02:00 |
|
sebastian
|
f77793a132
|
Added proper error message to monomorphizer; made subst a monoid
|
2023-05-15 23:40:15 +02:00 |
|
Victor Olin
|
4a635162a3
|
Merge pull request #18 from bachelor-group-66-systemf/g-collection-mark
G collection mark
|
2023-05-15 23:18:59 +02:00 |
|
Victor Olin
|
bea78513e6
|
smol cleanup
|
2023-05-15 23:18:01 +02:00 |
|
Victor Olin
|
51ffd88727
|
holy cleanup
|
2023-05-15 23:14:08 +02:00 |
|
sebastian
|
c96f3fc593
|
Refactored HM to use TVar correctly, fixed unbound variable tests from
EAdd removal
|
2023-05-15 22:57:37 +02:00 |
|
Samuel Hammersberg
|
f0431001e7
|
Disabled DotViz
|
2023-05-15 18:34:52 +02:00 |
|
Victor Olin
|
4d427ea00e
|
Merge branch 'g-collection' of https://github.com/bachelor-group-66-systemf/churf into g-collection
|
2023-05-15 18:27:27 +02:00 |
|
Victor Olin
|
50e10586f1
|
short profiler logs
|
2023-05-15 18:27:09 +02:00 |
|
Victor Olin
|
3f42a8f16d
|
bugfix
|
2023-05-15 18:27:04 +02:00 |
|
Victor Olin
|
7975b6cbe2
|
removed cout bloatware
|
2023-05-15 18:26:57 +02:00 |
|
Victor Olin
|
93be622863
|
now it works ok???
|
2023-05-15 18:26:57 +02:00 |
|
valtermiari
|
9adc14780b
|
Fixed bug in size handling and mark hash
|
2023-05-15 18:26:52 +02:00 |
|
valtermiari
|
a5c5d122b2
|
Added Hash map marking
|
2023-05-15 18:26:46 +02:00 |
|
Victor Olin
|
3e188553d6
|
rip gc
Co-authored-by: ValterMiari <ValterMiari@users.noreply.github.com>
|
2023-05-15 18:26:41 +02:00 |
|
Victor Olin
|
ec3aa3cd60
|
profiler now fixed in wrapper also
|
2023-05-15 18:26:33 +02:00 |
|
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 |
|
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
|
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
|
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 |
|
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 |
|