RSS feed
325f7f6c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/26 09:30
More modules
8f7bd08f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/26 09:29
Minor improvements
fdc6a7cb
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/23 14:47
Rename methods in signatures too.
5a5f8336
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/23 07:35
Get rid of eqEntry
2305ed59
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/23 07:29
A little more efficient.
5adafcfc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/23 07:25
Get rid of eqIdent.
e30c1f64
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/23 07:14
Get rid of eqString
37db0dde
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/23 07:02
Get rid of more eqChar
da640efc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/23 06:58
Get rid of some eqChar.
31b00e73
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/23 06:55
Better handleing of instance table
c30577d2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/22 15:37
Use some Eq functions.
eeca3858
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/22 15:36
More Eq functions.
d016abf2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/22 15:29
Get rid of eqInt
6509a81c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/22 15:24
Add (commented out) code to improve full laziness.
ea5764bb
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/22 15:21
Better pretty printing.
3b8e0aad
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/22 15:20
Use rnf instead of printing.
205756da
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/22 15:20
Add function to select bindings.
b71f3914
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/22 11:27
Add another test.
9429b627
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/22 11:18
Add Eq instances.
c293ac72
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/22 11:15
Make instance lookup more efficient.
8cfb829c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/22 11:15
Add test
2bd2c35b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/22 11:15
Add singleton
39939c42
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/21 10:36
Switch Int to use Eq
e07c9c90
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/21 10:08
s/primEqString/primStringEQ/
e092937f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/21 09:34
Limit constraint solving to locally generated constraints.
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.
Next