RSS feed
c5052bb7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/20 19:59
Make it compile
e817a361
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/20 19:58
Export classes correctly.
30be00d8
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/20 14:17
Handle instances with a context.
fb418b07
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/20 07:06
Handle import/export of instances.
a6ae2c8e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/20 06:50
Use an IdentMap for instances.
0e97b2fe
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/20 06:18
Better error message
ddd61eb5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 17:20
Expand synonyms in all constraint processing.
1887ae04
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 17:11
Handle tupled constraints.
4d1231db
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 16:28
Handle superclasses for dictionary arguments.
55633835
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 16:14
Move pretty printing library
23004b0d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 11:24
Some small improvements
44a8af86
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 10:55
Get pretty printing back
0c81744b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 10:46
Merge branch 'master' into class
ebb73b7a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 10:43
Item done
98814384
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 10:43
Make it compile.
c99d3092
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 10:41
Add pretty printing.
7b827493
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 10:40
Add a pretty printing library.
ff2c6f5d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 10:39
Add $!
524ce369
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 08:50
Remove trace
1ebf3219
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 07:47
Minor fixes.
211557bb
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/19 07:39
First program with overloading runs!
7413420c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/18 12:58
More class stuff.
1025e8b8
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/18 10:10
Merge branch 'master' into class
e1426d7f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/18 10:08
Don't reset unique counter in tcReset.
d2cb545a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/18 10:04
More
4fb86eb0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/16 15:40
Handle class and instance tables.
0964b4c7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/16 14:59
Prepare for more tables.
08c8e4ea
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/16 14:46
Better handling of class symbols.
1f6b8959
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/16 10:42
Merge branch 'master' into class
5041342c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/16 10:35
Use AssocTable more
ac6c9473
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/16 10:27
Merge branch 'master' into class
56b5c80a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/16 10:17
Allow a field name in newtype
6b5d407b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/16 07:31
Redo how constructors/selectors are associated with a type.
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.
7ff283eb
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/15 12:20
Update for new Class and Instance
75145b53
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/15 12:18
New Class and Instance
8374ab85
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/15 12:17
Better unqualString
ffdae3f2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/14 07:16
Expand class definition.
dd267745
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/13 20:45
Make it compile
39d5ddcf
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/13 20:38
Add kind checking for class and instance
576b6afd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/13 19:47
More error messages tested.
40ab729e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/13 14:38
More error tests
1a00ebdd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/13 14:30
Force errors
37c12e2c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/13 13:31
Merge branch 'master' into class
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).
d4a9dd63
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/13 09:39
Merge branch 'master' into class
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
994a9aca
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/13 07:15
Parse class/instance.
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.
Next