RSS feed
8e3a2ce9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/19 13:07
Fix typo.
bad8b559
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/19 12:55
Fix serialization of standard file handles.
5f55227a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/18 15:49
Add missing Real instance.
6ce8da5b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/18 15:45
Add missing fromJust
00fc2af7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/18 15:42
Add missing selector for newtype.
d85b46df
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/18 10:40
Hacky fix to extra generated constraints.
0382663f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/18 08:39
Implement DefaultSignatures.
8619dca2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/17 16:28
Bump version
6c47eba7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/17 16:25
Avoid global variables for mark bits used in serialization.
36500620
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/17 16:19
Fix issue #56 by redoing how default methods are imported.
0e831c79
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/17 15:47
Function to get module name.
c8933c07
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/17 15:47
Add utility function.
2ee630ff
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/17 15:47
Better type.
ed69939b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/17 10:03
Implement ImportQualifiedPost
d36ac13b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/17 09:38
Some more base functionality.
3606a147
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/17 09:22
Make version updates easier.
73d2b2fd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/17 09:00
Disable interactive test, it is dubious.
2372e6a9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/17 08:54
Don't crash on C pointers when pretty printing.
32c81bcb
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/17 08:50
Better error message with empty pkgpath.
8435646a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/08/17 08:50
Export cuprint.
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
Next