RSS feed
d9a193c3
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/22 08:20
Use new Alpine linux for riscv64
a81e3634
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/22 08:17
Remove junk
407495d4
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/22 08:15
Debug
6b9035f7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/22 08:13
Add 64-bit ARM, PowerPC, and RiscV.
9d767b73
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/22 07:55
Fix a number of bugs with irrefutable patterns.
61dfbc69
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/21 19:03
Fix test
e8d39154
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/21 09:01
Better error message for extra stuff in instances.
a1a8df36
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/21 08:49
Fix an erroneous error message for bad fundeps.
87a312e5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/21 08:10
Always import default methods.
e3161204
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/18 06:13
Include errtest in runtestsmhs
2463faf9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/18 05:09
Regen
90fbe26c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/18 05:08
Update cabal file
7833ad19
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/16 13:54
Add comment.
0df3cdb3
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/07/15 09:52
Add missing file.
291aa53d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/07/13 17:06
Regen
8928c64b
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/07/13 17:05
Generate an error when deriving for types with no constructors.
d668b547
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/07/13 16:42
Regen
e7310ac8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/07/13 16:41
Only unqualify strings that start with an uppercase letter.
e0142c05
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/07/13 16:27
Update workflow for cabal
91dee997
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/07/13 16:06
Derive Eq and Ord for Either
e7308312
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/07/13 16:05
Fix bad error test after Data.Map removal.
fdb26350
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/06/16 06:20
Strip comments in cpphs
3c4c38a5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/06/16 06:19
Add non-empty list module.
6c4a7ed0
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2024/06/15 21:30
Update AllOfLib.hs
da9edac9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/06/14 13:11
Remove our own Data.Map
423dcc65
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/06/13 18:33
Add lost files.
9a777dd4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/06/13 18:28
Move the local state monad from lib to src.
cacb728f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/06/13 17:27
Move pretty printing library.
de982caf
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/06/13 17:11
Move the crappy IntMap and IntSet from lib/Data to src/MicroHs.
b27a3914
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/06/13 12:13
Save 1.5s compilation time by not dragging in Data.Complex
cf52f5f6
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/04/29 08:19
Spell warning flag correctly
43cee651
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/06/13 05:46
Bump mhs version
768efceb
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2024/06/12 20:39
Update MicroHs.cabal
895f7672
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/06/12 17:01
Fix a bug in tests/Eq1.hs
4afa7594
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/06/12 15:32
Simplify instantiation.
fecf7571
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/06/09 09:31
Better pretty printing.
0424d9ca
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/06/09 09:25
Remove extra type variable.
7f6b40b4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/29 08:11
Make it compile
57734bc5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/04/29 07:44
Remove cabal test from macos
06bf930a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/04/13 14:41
Reorganize for packages.
b5a3c38d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/04/13 14:40
Move some Typeable stuff
e4cba674
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/04/13 14:39
Add missing module
32fdb8d7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/04/13 14:39
Better error message.
c2fcd07f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/26 10:50
Ignore more
9faf1dec
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/26 10:49
Regen
1183599d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/26 10:49
Make it compile
a5afc679
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/26 10:49
GADTs
3f7af2a4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/26 10:49
Add missing export
653921c9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/26 10:48
Make Float and Double different types.
1ae323f9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/25 11:38
Turn GADTs into ADTs in the parser.
e8facabf
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/25 11:35
Refactor a little
61103657
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/25 11:35
Add forgotten equality simplification.
f189ccb8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/24 07:50
Refactor
721bf475
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/22 04:54
Prettier
ee9cc21c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/20 10:33
Write cache even with interactive
71543679
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/11 04:48
Add cabal file
c0a4f955
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/09 10:47
Make dependencies ghc only
09564dfa
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/09 10:37
Fix bug I introduced.
9bdf6165
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/09 09:03
Minor tweaks and version bump
c5af323f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/09 06:58
Fix warning.
d12702ba
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/09 06:53
Merge branch 'master' of github.com:augustss/MicroHs
5a775ba5
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2024/04/09 06:53
Merge pull request #41 from yobson/master
d8346149
– James Hobson <james@hobson.space>
authored
on 2024/04/09 08:49
Behavioural changes
22468c3c
– James Hobson <james@hobson.space>
authored
on 2024/04/09 08:31
Tests work
6ba9268d
– James Hobson <james@hobson.space>
authored
on 2024/04/09 08:19
First attempt to fix tests
0117f132
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/09 06:51
Add Data.Array
9277a221
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/07 17:00
Add missing find_sharing for arrays.
48a34d1e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/07 16:53
Add missing argument satisfaction checks.
29161b2a
– James Hobson <james@hobson.space>
authored
on 2024/04/07 14:01
Removed unneeded Data.Char import
7f46be28
– James Hobson <james@hobson.space>
authored
on 2024/04/07 13:53
Updated generated c code
4c94735e
– James Hobson <j.w.hobson@icloud.com>
authored
and GitHub <noreply@github.com>
committed
on 2024/04/07 13:51
Merge branch 'augustss:master' into master
915858ed
– James Hobson <james@hobson.space>
authored
on 2024/04/07 13:50
Easy cross compiling part-2
8363022e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/07 07:00
Lots of Ptr improvements.
bcb571d5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/06 17:38
Fix bug in test
e4d8e0a1
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/06 17:03
Export cuprint
212234c9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/06 17:03
Export the right values.
2b6dae84
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/06 17:03
Fix evaluate and throwIO
502e890c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/05 04:39
Temporarily disable failing test.
77bc8fb9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/04 15:24
Fix ForeignPtr bugs.
20d03699
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/04 06:07
Implement ForeignPtr
29147d26
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 17:08
Merge branch 'master' of https://github.com/yobson/MicroHs
d0b0b93b
– James Hobson <james@hobson.space>
authored
on 2024/04/03 18:16
Easier cross compiling support part-1 (#39)
4cf8efac
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 17:01
Regen
4c1da0f7
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 17:00
Make defaults actually default to the standard list.
fd4a360a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 16:56
Handle ~ and ! in patterns.
105cf036
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 16:56
Move a function
2561f291
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 09:37
Make TAB completion work in interactive version.
faba2aba
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 08:16
Refactor so compilation returns the last symbol table.
a7c49581
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 07:20
Change -v output
6b9c2f0d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 05:39
Add Text.Printf
41c2cd88
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 05:38
Add float formatting
f7236224
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 05:16
Add Numeric.Natural
ac32433b
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 05:16
Add ArithException
778c3e3e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 04:50
Cache modules with combinator conversion done.
2249c09c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/03 04:25
Make it look neater.
e103326d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/02 15:17
More exception stuff
be7610d9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/02 10:43
More fixes for new exceptions.
1e5a13f4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/02 08:13
Lots of changes to use real exceptions.
63201709
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/04/01 16:30
Merge branch 'master' of github.com:augustss/MicroHs
ccd5a588
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2024/04/01 23:49
Update README.md
Next