sebastian
|
15025a67f9
|
removed unused imports
|
2023-05-04 23:15:24 +02:00 |
|
sebastian
|
4f21a58200
|
more symbols and changed err msg
|
2023-05-04 23:00:51 +02:00 |
|
sebastian
|
0dc06eaf80
|
Parens removed on types and infix symbols work almost, just need to adapt in LLVM
|
2023-05-04 22:50:15 +02:00 |
|
sebastianselander
|
c309c439cb
|
Fixed bug when freshening types
|
2023-05-04 21:30:38 +02:00 |
|
sebastian
|
122bff7436
|
Sugar has arrived
|
2023-05-04 21:29:24 +02:00 |
|
Victor Olin
|
0b96f3b7e5
|
merge
|
2023-05-04 18:19:58 +02:00 |
|
Victor Olin
|
a910d5449e
|
rip gc
Co-authored-by: ValterMiari <ValterMiari@users.noreply.github.com>
|
2023-05-04 18:18:25 +02:00 |
|
valtermiari
|
79b0d37cd1
|
Merge branch 'g-collection' of https://github.com/bachelor-group-66-systemf/language into g-collection
|
2023-05-04 14:04:47 +02:00 |
|
valtermiari
|
74e02826e6
|
Added Hash map marking
|
2023-05-04 13:51:53 +02:00 |
|
sebastianselander
|
c7b76cbbb4
|
Fixed a bug of repeated application of same function to arguments of
differing types. More bufs appeared
|
2023-05-03 18:56:16 +02:00 |
|
sebastianselander
|
5a28f9d909
|
Bind now does correct subtype check.
|
2023-05-03 17:59:09 +02:00 |
|
sebastianselander
|
f8a70b4cf4
|
Improved error messages
|
2023-05-03 17:58:50 +02:00 |
|
Rakarake
|
4038f34cc5
|
Fixed woring order of monomorphization in ECase
|
2023-05-03 15:08:07 +02:00 |
|
Rakarake
|
e70eae776a
|
Maybe made lets work in monomorphizer 🙃
|
2023-05-02 17:25:22 +02:00 |
|
Samuel Hammersberg
|
eba91ec646
|
The log folder is now created as well.
|
2023-05-01 22:50:37 +02:00 |
|
Samuel Hammersberg
|
22dcbc6a13
|
Various codegen fixes
|
2023-05-01 22:50:22 +02:00 |
|
Rakarake
|
45578a79b1
|
Merge branch 'pattern-matching-with-typechecking' of github.com:bachelor-group-66-systemf/churf into pattern-matching-with-typechecking
|
2023-05-01 16:14:10 +02:00 |
|
Rakarake
|
59da6d8864
|
Fixed printing bug in MorbIr, fixed Monomorphizer forgetting to output constructors on EInj
|
2023-05-01 16:14:01 +02:00 |
|
Samuel Hammersberg
|
0452a30409
|
Yoinked newer GC.
|
2023-05-01 16:01:39 +02:00 |
|
Victor Olin
|
a4413e55f3
|
profiler now fixed in wrapper also
|
2023-05-01 15:58:20 +02:00 |
|
Victor Olin
|
1741281fd8
|
profiler improvement
|
2023-05-01 15:43:51 +02:00 |
|
Victor Olin
|
d7ea27e9cd
|
testing testing...
|
2023-05-01 14:36:44 +02:00 |
|
Rakarake
|
3377879dd0
|
Small fix in morphBind
|
2023-05-01 11:57:06 +02:00 |
|
Rakarake
|
0af2aac61e
|
Removed some warnings, better internal error
|
2023-05-01 11:53:18 +02:00 |
|
Samuel Hammersberg
|
6b72d08b94
|
Commented out customHelperFunctionCuzPoorImplementation as it is not needed with type annotations.
|
2023-05-01 11:09:23 +02:00 |
|
Martin Fredin
|
63d805fa13
|
Uncomment prelude
|
2023-05-01 10:55:34 +02:00 |
|
Martin Fredin
|
8463dc2887
|
Small fix to lambda lifter
|
2023-04-29 21:59:05 +02:00 |
|
sebastianselander
|
d7a09a720b
|
Fixed more precise type annotation for monomorphizer
|
2023-04-29 17:55:18 +02:00 |
|
Martin Fredin
|
a2f61ea910
|
Fix missing pattern synonym
|
2023-04-29 15:56:01 +02:00 |
|
Martin Fredin
|
619242ccaf
|
Fix lambda lifter
|
2023-04-29 15:52:37 +02:00 |
|
Martin Fredin
|
df1a5de04a
|
Add module to sort definitions
|
2023-04-28 19:45:15 +02:00 |
|
Samuel Hammersberg
|
de03a2cc34
|
The code generator can now compile without the GC.
|
2023-04-28 14:52:47 +02:00 |
|
Samuel Hammersberg
|
f9d28028b5
|
The GC argument is now passed to the compiler and codegen.
|
2023-04-28 14:24:44 +02:00 |
|
Samuel Hammersberg
|
ddffe7913c
|
Added an option to disable the garbage collector (this feature is not implemented fully yet.).
|
2023-04-28 14:22:02 +02:00 |
|
Martin Fredin
|
38b88d36b5
|
Use throwError instead of error
|
2023-04-28 14:20:37 +02:00 |
|
Samuel Hammersberg
|
e8d37c77cb
|
Fixed a typo.
|
2023-04-28 14:10:39 +02:00 |
|
sebastianselander
|
1723796006
|
renamed and fixed const in prelude
|
2023-04-28 14:01:23 +02:00 |
|
Martin Fredin
|
b27988b4d8
|
Add checking for case
|
2023-04-28 14:04:54 +02:00 |
|
Martin Fredin
|
22ffdffa5a
|
Fix pretty printer
|
2023-04-28 14:04:54 +02:00 |
|
sebastianselander
|
072f2206e6
|
added const body again
|
2023-04-28 12:53:29 +02:00 |
|
Martin Fredin
|
e42c775135
|
Fix prelude
|
2023-04-27 17:29:13 +02:00 |
|
Rakarake
|
3729278041
|
Unreachable branhces are removed, fixed a nasty bug in monomorphizer 😸
|
2023-04-27 16:44:30 +02:00 |
|
Samuel Hammersberg
|
46a4d3d252
|
Fixed a bug with penums
|
2023-04-27 16:01:22 +02:00 |
|
Rakarake
|
e19c809d5e
|
Merge branch 'pattern-matching-with-typechecking' of github.com:bachelor-group-66-systemf/churf into pattern-matching-with-typechecking
|
2023-04-27 15:09:45 +02:00 |
|
Rakarake
|
509b51d2de
|
No output of wrongly typed cons
|
2023-04-27 15:09:39 +02:00 |
|
Samuel Hammersberg
|
39d0650115
|
Fixed a booleans not being outputted as literals.
|
2023-04-27 15:06:42 +02:00 |
|
Rakarake
|
579153b679
|
Merged
|
2023-04-27 14:02:10 +02:00 |
|
Rakarake
|
60e12b622e
|
Using type annotations in case expressions, monomorphizer now handles case expressions without crashing
|
2023-04-27 13:55:54 +02:00 |
|
Samuel Hammersberg
|
d026dca42f
|
Attacked the code generator and added bool support.
|
2023-04-27 13:49:00 +02:00 |
|
sebastianselander
|
1a21698772
|
mono fixier
|
2023-04-27 12:57:36 +02:00 |
|