RSS feed
a898f871
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 09:40
More to do.
1b2656b4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 09:40
More tests.
501f8e3a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 13:53
Add Complex
a4aef3c8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 13:07
Better error message
eae20570
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 12:50
Change 'import' to 'loaded' in a message
5773add4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 12:46
Add FNEG primitive.
de1a985c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 12:39
Add RealFloat class.
f63e6ed9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:46
Make permanent INT nodes for all byte values.
14be7bff
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:43
Better debug
2cf3c41c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:42
Add helper class for interactive top level
dc5dfd7a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:42
Add IO.print
98c21bca
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:41
More Show instances
8ee8533b
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:41
Add traceM
99f85b63
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:03
Use a type class to get locations.
b27f4ee2
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 10:34
Merge branch 'class-ovl'
9d32c487
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 10:34
Merge branch 'master' of github.com:augustss/MicroHs
22dc6883
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 18:12
Allow hex literals
33ca3517
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 17:50
Bit fiddling operations
294d5d96
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 17:12
Portable definitions for Bounded.
61eb00e9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 14:44
Make it compile.
241e15cc
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 14:37
Make floating point literals overloaded.
988bc524
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 15:23
Add string to Rational conversion.
cf3bf3b4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 15:23
Add missing entries
7e4b932d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 09:50
More
276da34f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 09:48
Implement dynamic FFI lookup
f5403bba
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 08:53
Add missing infix
7115fd25
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 08:52
Add Bits class
f84ee220
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 08:36
Fix showing minBound
dc946751
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 07:03
More instances
03ee7c5f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/03 20:56
More to do.
a2744a24
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/03 20:53
More Floating stuff.
c8a135ea
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/03 20:26
Add Floating class
255edbba
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/03 20:26
More functions
61cf95de
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/03 20:02
Some Enum instances.
367493ba
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/03 19:27
More Real instances
6242f443
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/03 18:08
More classes
b82c2649
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/03 17:59
Add more numeric classes.
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.
Next