RSS feed
5aab9dd1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/15 19:35
Simplify mkTmodule
588cd718
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/15 19:32
Fix a bug: qualified name for module symbols not in symbol table.
31a31e35
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/15 18:49
More comments
d590c0ff
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/15 18:39
Export all type synonym definitions.
fb16447a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/15 18:26
Allow record labels in type definitions.
e1a569f2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/13 13:29
aaa
e7420296
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/13 12:48
Add commented out new abstraction algorithm.
38a8ca52
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/13 12:14
Add R combinator
2bcb05a5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/13 12:14
Add iterate
12664af3
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/09 16:12
Revert "Rename the P combinator to R (more standard name)."
aec3fa42
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/09 07:48
Rename the P combinator to R (more standard name).
bb93f576
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/13 09:38
Better error message.
94643fd9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/13 09:20
Add error message tests
4c42805e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/13 09:18
Start of error message testing.
8b59f460
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/13 07:16
More to do
1b0c99b7
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/12 10:21
Add a flag to eval.c to just write out the GCed combinators.
8accc5fc
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/12 10:09
Get rid of ETypeScheme.
30c0f952
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/11 08:30
Use more compact (and readable) combinator file.
70ce3fe8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/11 08:30
Update for new tools
64363610
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/10 19:45
Redo unification and add occurs check.
f3c83a1c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/10 19:02
Allow infix declarations of functions.
b88a5574
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/10 18:33
Fix bug.
8c4dce89
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/10 13:23
Check for multiple definitions in EBinds
49dc0463
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/09 06:45
Update
3eaa3c66
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/09 06:20
More to do
8d68f0d2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/08 20:01
Make Constr a data type.
5864f798
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/08 19:57
More
cd803136
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/08 19:50
Fix a rank-n bug.
1a1d3c21
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/08 19:30
Clean up a bit.
bd15c42f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/08 14:05
Redo tcOper.
b4d42894
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/08 13:49
More steps towards rank-n
d3bcabcd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/07 05:09
Temp
dbdb80b7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/06 06:46
Change how type inference returns the type.
e79b4595
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/06 06:45
Export sequence
af3fc6e9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/06 06:45
Add isTupleConstr
31c67fdf
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/06 06:45
Add sequence
66e6f188
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/05 07:21
Temp
b79b7d62
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/05 07:20
Help message.
a6b8bf43
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/05 07:20
Better error message.
84d57533
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/29 16:58
Temp
8b3176b9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/27 14:38
More portability.
8d4d9b23
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/27 13:58
Ignore more
257f66f2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/27 13:56
Add a Haskell decompressor.
acc624d0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/27 13:53
More to do
5cff6da4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/09/27 14:25
MacOS portability fixes.
670231e5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/27 12:30
Make it a little safer.
fa260f9e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/27 12:22
Make tests work again
7dbe7a65
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/27 12:06
Data.Integer is done
22e2124f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/27 10:48
Add target to install compiler.
086e4cbf
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/27 07:18
Add simple LZW compressor.
90d6663b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/27 07:18
Add LZW decompressor.
cac797ad
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/27 06:46
Better error message.
54e753fc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/27 06:45
Add hSetBinaryMode (doing nothing)
3a4888cc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/27 06:45
Swap to a better Map
60023048
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/26 11:22
Refactor code reading from file.
4db170e4
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/26 07:50
More TODO
550785e5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/25 13:54
Parse exponents in Double literals.
f1a9ba4b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/25 13:24
Simplify and improve lexer a little.
e94e1019
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/25 12:50
Fix conversion from double to string.
1435e355
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/25 12:32
Add missing entries in Translate.
de1ba990
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/25 12:29
Simplify getting the next token from the input stream.
c1b9c188
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/25 12:28
Fix typo.
b171546e
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2023/09/25 12:14
Merge pull request #1 from Rewbert/master
a68b3497
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/25 12:13
Formatting.
250f9d89
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/25 10:38
final update of readme
83bb095b
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/25 10:35
more reverts
766bc6f2
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/25 10:32
my editor inserted changes of its own into the README, here I try to undo some of them
0fe3f973
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/25 10:24
update readme and todo
c2f9686b
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/25 10:14
double division
52b1309a
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/25 10:02
fix Lennarts comments
be0d3b78
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/25 09:38
Add some extensions.
3a29356d
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/25 09:15
merge
0c7e35d8
– Robert Krook <rewbert93@gmail.com>
authored
and GitHub <noreply@github.com>
committed
on 2023/09/25 09:11
Merge pull request #2 from Rewbert/current-merge
44a043da
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/25 09:09
now the support I added for doubles work again, time to rebase again
dd4eadf2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/24 13:42
Code from the paper
25a4ef8b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/24 08:16
Temp
8d675f3c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/23 16:16
A simple implementation of arbitrary sized integers.
2216858c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/23 16:16
Add init.
e8f8e6e1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 16:48
Add comment explaining why rank-2 types are broken.
4a0b0de0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 12:17
Better command decoder
d0807e07
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 12:16
Better leString
d6b4582c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 12:16
Add words
dde9ba04
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 12:15
Add isSpace
eeac1a81
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/22 11:08
two broken tests right now
79340a0f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 09:39
Small fixes.
12bac3e8
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 09:39
Hack to force error messages.
231d9ec8
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 09:38
Make :clear empty the cache
718921b7
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/22 09:37
Merge branch 'augustss-master'
beb1d90b
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/22 09:22
removed Main.hs
2ff4d2eb
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 08:53
Split out Ordering type.
042f4d6e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 08:53
Make primCompare return Ordering
fe190585
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 08:06
Typo.
80e8fc32
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 07:55
More docs
100938e8
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 07:43
More docs
b62ae993
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 07:31
Make it work with cabal
b29c281f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 07:25
Improve and document compilation process.
0b9fc139
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 07:12
Use rnf.
85934531
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 06:55
Add 'rnf' primitive.
44686596
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 06:55
Add 'rnf' primitive.
747b9bb1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 20:40
Formatting.
Next