RSS feed
638e7ca7
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 09:20
More Show instances
69c8b971
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 09:08
Fix typo
1b58ced5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 09:07
Better reload.
db2e57c5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 09:00
Add a flag to see modules being loaded
eb6691cb
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/02 07:40
Half way converted to Text.Show.
3fe400e3
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/02 06:39
Make instance matching a little nicer.
831d8e18
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/01 17:08
Refactor instance matching a little.
fff0643c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/01 17:07
Add parsing of fundeps.
16bec988
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/01 09:47
Parse type operators better.
814c79f1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/01 06:45
Fix bug in type synonym handling.
7209ff13
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/01 05:52
Get rid of warning.
0a8d3007
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/30 05:51
Simplify addConstraint calls
ee79af73
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/30 05:46
Get rid of some more eq function.
1ec99d57
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/30 05:35
Use the 'lazier' function
03b21e60
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/30 05:32
Get rid of the compile time operand swapping.
b4de01c8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 19:36
More Ord
2542d34a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 19:25
More use of Ord
de950d25
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 19:25
Make it compile cleanly with newer ghc
f68cd92f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 19:10
Make cabal build work again
87db4936
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 16:51
More refactoring.
7538234e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 16:36
Split list type to it's own module.
aa6fc089
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 16:21
Refactor
ee5071a6
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 16:10
Split out Char type definition from Data.Char
f48be7ce
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 16:02
Minor fix.
2f3ccd45
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 14:04
Another class.
7f88e8b5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 14:00
More classes, no instances yet.
bd6ab135
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 13:54
Use Alternative.
9a21178f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 13:44
Fix qualification bug and add sanity checks.
a5ca009e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 12:33
Merge branch 'master' into class-ovl
8b963b6e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 12:30
Add missing R
15d2ec82
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 12:29
More Monads
167b705b
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 12:07
Add more functions.
5d9e006b
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 11:55
Make bootmhs compile again.
82fe3946
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 11:36
Merge branch 'class' into class-ovl
1a44ee78
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 11:34
Put more info in the class table.
ecd3c2ec
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 11:28
Only put exported classes in class table.
ac7f6cee
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/29 08:26
Use overloading in the compiler. Very slow!
3bf37ac6
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/28 20:00
Make primtives for no-match and no-default.
4b09e427
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/28 16:55
Avoid a _noMatch
9006d566
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/28 16:43
Less verbose error.
5c9fab70
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/28 16:12
Type signatures no longer needed.
4b9b7585
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/28 16:11
Do instance expression differently.
95c1eb30
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/28 15:57
Merge branch 'master' into class
ea89588a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/28 15:53
Make ELam have an [Eqn] argument instead.
8222d737
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/28 13:51
Make it compile
07c98428
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/28 13:48
Some minor fixes.
3343042d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/28 12:56
Simplify.
b4cd0bad
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/10/28 12:42
Revert "Start of type inference for local defs."
968dcee5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/28 09:21
Start of type inference for local defs.
1b5181f9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/28 09:18
Finish merge.
f82355b9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/28 09:11
Merge branch 'master' into class
4bbe3fff
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/28 09:07
Make the symbol table have a global and a local part.
539549c8
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/28 08:46
Refactor symbol table to its own type.
d5bb0b99
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/28 08:26
Refactor symbol table lookup.
c6516410
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/26 15:48
Use a regular type variable for Infer.
ed4d9b81
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/26 14:59
Make it compile.
98002b3a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/26 14:58
More debug.
840f1dc7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/26 10:30
Handle forall differently fo tcEqns
ddb7571f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/26 10:12
Fix instantiation bug
189f942c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/26 09:41
Make it build
538df6ff
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/26 09:40
Merge branch 'master' into class
04a3843f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/10/26 09:40
Make it build
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
Next