sebastianselander
|
55fd35d661
|
mono fix
|
2023-04-27 12:49:29 +02:00 |
|
sebastianselander
|
e9852079ab
|
bool now lit
|
2023-04-27 12:45:16 +02:00 |
|
Martin Fredin
|
8782556603
|
Fix types in pattersgit add .git add .
|
2023-04-27 12:22:30 +02:00 |
|
Martin Fredin
|
fc306d5f25
|
Fix pattern types
|
2023-04-27 12:22:30 +02:00 |
|
sebastianselander
|
fd418faa5f
|
introduced lt in prelude
|
2023-04-27 12:18:56 +02:00 |
|
Martin Fredin
|
2cb8527848
|
Rename variables
|
2023-04-25 23:02:56 +02:00 |
|
Martin Fredin
|
e138cb27ec
|
Simplify pattern matching
|
2023-04-25 22:59:43 +02:00 |
|
Samuel Hammersberg
|
9ffcbf66b9
|
Added support for running GC profiller.
|
2023-04-25 15:03:17 +02:00 |
|
Martin Fredin
|
b5384bf2c3
|
Fix typo
|
2023-04-25 13:22:33 +02:00 |
|
Martin Fredin
|
2d96a50219
|
Change name
|
2023-04-24 10:47:33 +02:00 |
|
Martin Fredin
|
804d0da167
|
Check number of arguments in pattern match
|
2023-04-24 10:10:15 +02:00 |
|
Rakarake
|
4bd5801c97
|
Removed traces
|
2023-04-18 15:52:33 +02:00 |
|
Rakarake
|
2611ddc2b2
|
Fixed wrong handeling of EAdd in monomorphizer, as well as more documentation and cleanup
|
2023-04-18 15:48:25 +02:00 |
|
sebastianselander
|
7ab0e65981
|
removed minor thing in EAdd
|
2023-04-17 16:07:46 +02:00 |
|
Rakarake
|
a23269f907
|
Fixed small bug in monomorphizer
|
2023-04-17 15:53:16 +02:00 |
|
Rakarake
|
c2bf6312f6
|
Monomorphizer now outputs constructors that are matched on but not created
|
2023-04-12 16:36:22 +02:00 |
|
Samuel Hammersberg
|
0ab13e5979
|
Fixed the ordering of data types.
|
2023-04-12 15:15:38 +02:00 |
|
Martin Fredin
|
2b7715714e
|
Use better names
|
2023-04-11 18:56:53 +02:00 |
|
Martin Fredin
|
9730552eab
|
Remove parenthesis from EAnn
|
2023-04-11 13:46:54 +02:00 |
|
Martin Fredin
|
a109b3010d
|
Fix bad inference on case expression, and make pretty for report
|
2023-04-08 21:52:57 +02:00 |
|
Martin Fredin
|
29de6c49e4
|
Fix naming
|
2023-04-08 13:39:00 +02:00 |
|
Martin Fredin
|
9cb4a620bb
|
Fix redundant print paren
|
2023-04-08 13:38:30 +02:00 |
|
Victor Olin
|
c9e2bc2278
|
Cleaned up include guards
|
2023-04-07 20:40:01 +02:00 |
|
Samuel Hammersberg
|
21b1ba7b1f
|
Replaced # with $
|
2023-04-07 16:01:23 +02:00 |
|
Rakarake
|
9c699ecb63
|
Fixed output of monomorphizer in main
|
2023-04-06 14:29:30 +02:00 |
|
sebastian
|
0d30cb80e0
|
removed pretty printing of tvars
|
2023-04-06 14:20:27 +02:00 |
|
sebastianselander
|
90352449f4
|
added todo for semi monomorphization
|
2023-04-05 18:25:49 +02:00 |
|
Martin Fredin
|
05ea23d22c
|
Fix test error message
|
2023-04-05 17:41:17 +02:00 |
|
Martin Fredin
|
9870802371
|
Add implicit foralls for bidir, update and unify pipeline
|
2023-04-05 17:26:52 +02:00 |
|
sebastianselander
|
12bca1c32d
|
Added small comment about incorrect subtyping
|
2023-04-05 12:59:56 +02:00 |
|
Rakarake
|
c6e0e40ef1
|
Monomorphizer now monomorphizes data
|
2023-04-05 03:03:42 +02:00 |
|
Martin Fredin
|
0d6c5920a9
|
Fix type checker
|
2023-04-03 09:24:27 +02:00 |
|
Martin Fredin
|
cc5755c3a9
|
Add layout grammar
|
2023-04-03 09:24:13 +02:00 |
|
sebastian
|
03a486410f
|
Added somewhat detailed README
|
2023-04-02 13:42:47 +02:00 |
|
sebastian
|
aaaff776e0
|
Add some boiler plate for warnings
|
2023-04-02 00:42:42 +02:00 |
|
sebastian
|
6c180554ec
|
Reworked order of inference, added prettifier for tvars etc etc.
|
2023-04-02 00:04:33 +02:00 |
|
sebastian
|
ec8d554af1
|
Disabled shadowing in pattern match with nice error message, added aux functions
|
2023-04-01 18:45:08 +02:00 |
|
sebastian
|
4b14cbdebf
|
reverted Hindley-Milner type checker to before mutual recursion merge
|
2023-04-01 17:10:26 +02:00 |
|
Rakarake
|
ec57712eec
|
Fixed bad names after monomorphizer
|
2023-03-31 19:43:05 +02:00 |
|
Rakarake
|
c6173c0077
|
Plus now working in monomorphizer
|
2023-03-31 19:25:48 +02:00 |
|
Rakarake
|
b8f717f39f
|
Merge branch 'monomorphizer-data' into pattern-matching-with-typechecking
|
2023-03-31 18:59:05 +02:00 |
|
Rakarake
|
00e23a16dd
|
Monomorphization of datatypes done!
|
2023-03-31 18:58:33 +02:00 |
|
sebastianselander
|
0749ca062d
|
Merge in mutual recursion handling
|
2023-03-31 18:28:04 +02:00 |
|
sebastianselander
|
b7420b5adb
|
Merge in mutual recursion handling
|
2023-03-31 18:27:30 +02:00 |
|
sebastianselander
|
c4f78ca37d
|
Merge in mutual recursion handling
|
2023-03-31 18:26:58 +02:00 |
|
Samuel Hammersberg
|
b0ec5a2333
|
Started working on a Case Desugar phase.
|
2023-03-31 18:16:26 +02:00 |
|
Rakarake
|
15c18271ba
|
Monomorphizer, fixed problem with type of bind
|
2023-03-31 17:53:56 +02:00 |
|
Rakarake
|
d097cd28e8
|
New morb tree for internal use in monomorphizer, data types implemented
|
2023-03-31 17:02:54 +02:00 |
|
Martin Fredin
|
7d2a0e60d8
|
Fixes
|
2023-03-30 19:07:12 +02:00 |
|
Martin Fredin
|
72352d9619
|
Use use tevars for bind without type signatures, fix recursive functions
|
2023-03-30 18:46:55 +02:00 |
|