RSS feed
56a6e0ad
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/03 15:08
Hackily scan for {-# LANGUAGE CPP #-}
6741fcb6
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/01 12:26
Get rid of a debug printf.
db16f46f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/01 07:46
Tweaks for new hackage version
7ca452f9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/01 07:32
Update README
7c24fe55
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/01 07:17
Some comments.
80a80918
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/01 07:04
Fix wrong total import time stats.
035abfb0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/01 06:27
Add a compiler version check for packages.
7e2e0729
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/01 06:26
Document packages a little.
17fb3824
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/01 05:56
Fix some package related bugs.
804e7c56
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/01 05:27
More file movement.
3521e29f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/01 05:19
Move around files a bit.
819d7edb
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/01 05:13
Switch to main branch of malcolm-wallace-universe.
4b9689b5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/31 15:09
Update cpphs
1f747b2e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/29 19:43
Regen
6e642424
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/29 17:15
Make it possible to install mhs in ~/.mcabal/bin and use base package.
aa42c0ef
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/07/28 14:38
Regen
1fdd70fa
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/28 11:36
Change how files are found.
2451283c
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2024/07/27 20:33
Update version
55e0dce9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/27 12:45
Bump version
dfb68584
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/26 11:18
Disable code that was even marked as broken!
1f78fbb7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/25 08:58
Some sanitize stuff.
e56a720c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/24 14:05
Add some comments
66c7fd67
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/23 11:26
Add withCurrentDirectory
5d846d4c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/23 11:26
Add missing exports.
29888210
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/23 08:45
Add getCurrentDirectory
ddf9aaa3
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/07/23 08:45
Add allocaBytes
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
Next