RSS feed
7e3092eb
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/03 04:43
Add Bounded class
e3da74f8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 16:17
Include Integer in Prelude
b8cf988c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 16:17
Fix bug in eol
457e7f63
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 16:07
Primitive to convert Int to Double
7f7c5ed9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 15:56
More copyright
2c97bc13
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 15:51
Fractional type class
ea50587f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 15:44
Integral class
d65bc804
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 15:26
Num class
bdfec110
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 14:56
Get rid of eqBool
cc824596
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 14:54
Keep the relevant location in qualIdent
19a5372e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 14:52
Nicer printing.
18ef2aba
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 14:51
Make sure new names don't clash!
3b89a9b9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 10:59
Get rid of QualifiedDo
7ef35372
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 10:50
Monad Maybe
33929c27
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 10:45
More accurate message.
c40d2d87
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 10:43
Eq improvements.
2e1a8737
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 10:38
More Eq
b79d3122
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 10:35
More Eq
88418242
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 10:31
More Eq
6042800b
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 10:26
Better interactive.
6470d2eb
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 10:26
Add missing LDouble
c4ba9a94
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 10:26
Fix quoting problem.
98b9766e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 09:53
More Show stuff
50a42f8f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 09:34
Make it build
ff0024a5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 09:29
Forgotten file.
b96d264b
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/02 09:29
More show instances
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.
Next