shithub: MicroHs

RSS feed

8093dbcc – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 15:36 
Generalize.

3b3c5368 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 15:27 
Remove junk.

b36e72a8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 15:23 
More instances

fec89394 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 15:13 
Make integer literals overloaded.

b11dd3b2 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/03 12:28 
Temp

497ba0f7 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/03 08:27 
Refactor Integer a little.

15e2ba15 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/03 05:20 
Add readInteger

2e92c0cf – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/03 05:09 
Split Integer type into it's own module.

4cd0b4de – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/03 04:57 
Add some conversion functions.

ed1d7d44 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/03 04:50 
Add integerToInt

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

Next