RSS feed
a9ac58af
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/21 14:37
Fix `Data.List.isInfixOf`
bdd38072
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/20 04:47
Rename 'primitive' to '_primitive' to avoid reserving a regular identifier.
56be300c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/19 05:28
Get rid of 'instance forall', not supported by hugs.
c050cd0d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/19 05:24
Implicitly quantified variables from the instance head scopes over the meyhods.
2f9eab4d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/19 03:07
Get rid of BangPatterns, they make very little difference.
655e9080
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/19 02:46
Merge branch 'master' of github.com:augustss/MicroHs
8681ea7f
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2025/01/19 03:46
Merge pull request #94 from konsumlamm/bitcount
24e80ae9
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/18 15:50
Add popcount, clz, ctz primitives
af58a1fb
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/18 15:36
Accept _ as a lower case letter in qualified ids.
6e5836ec
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/18 15:36
Allow extra flags to cc
d870a2fe
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/17 09:29
Merge branch 'master' of github.com:augustss/MicroHs
b4c123be
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/17 06:53
Bump version
3bb170f2
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2025/01/16 23:48
Merge pull request #93 from konsumlamm/cmpW
cc577d23
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/16 10:24
Integer: Optimize comparisons
37a178d6
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/16 08:33
Make sure bytestring are freed.
5c0c2769
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/16 08:21
Use a macro, SETBSTR, to set BSTR nodes.
1350298e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/16 07:24
Refactor the implementation of Integer to its own module.
0c1958c6
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2025/01/15 22:23
Merge pull request #90 from konsumlamm/BitsInteger
e28034d6
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/13 19:33
Implement `Bits Integer` instance
c3220c79
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/14 05:49
Export IOException
7f3da47a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/14 05:48
More foreign string functions.
1aa30735
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/13 18:51
Define & use `bitDefault`, `testBitDefault`, `popCountDefault`
cfd47722
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/12 14:09
Add a #if WANT_STDIO
5c6c83ad
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/12 10:13
Show size of combinator code even when it's from an internal array.
7d146bd7
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2025/01/12 07:02
Merge pull request #89 from konsumlamm/shift
0022e677
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/11 19:20
Fix UB in shifts & add missing `Bits` instances
2ec34c1a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/12 10:06
Change back to not using bits shift in Integer.hs.
faec0628
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/12 08:16
Bump version
01e3ea89
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2025/01/12 01:14
Merge pull request #87 from konsumlamm/Integer
0a6f76bc
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/12 08:05
More README updates
63919e14
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/12 08:03
Update README
1c9763a5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/12 07:25
Make it possible to pass just a .c file to mhs.
ac79f6fa
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/12 07:10
Fix instantiation bug for nested quantifiers.
83c47249
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/10 20:23
Integer: Optimize `quotRemI`
41034a4e
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/08 18:39
Integer: use `dropWhileEnd` for removing trailing 0s
b9daf68b
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/08 08:12
Integer: Use bit operations
62044b52
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/08 07:32
Integer: Use Word as Digit
08a727c8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/11 17:05
Bump version.
1b9bdf04
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/11 16:59
Implement TypeApplications.
35cce280
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/11 13:20
Make the new type checking work.
32955f7d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/11 13:18
Add a force a string literal to be exact.
7d2f32a9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/11 13:02
Merge branch 'master' into typeapp
68550470
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/11 12:59
Do type equalities in a different way.
d936e4f9
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2025/01/10 16:27
Merge pull request #85 from konsumlamm/primitive
f9424ba9
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/10 14:30
Remove unused `IO.getTimeMilli` primitive
e2ca4b93
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/10 14:12
Add missing primitives in `translate`
30ed73a9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/10 08:09
Merge branch 'master' into typeapp
6dd14a51
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/09 19:55
Fix bug in -s flag
6ee5b5e8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/09 19:35
Remove some junk foralls.
7f952c8f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/09 13:07
Fix typo
1f339146
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/09 06:52
Update comment
8984756c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/09 06:48
Be more aggressive with inlining of let.
822f0447
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/09 06:47
Update comments
63b1cd19
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/09 06:39
Add comment
e0aea1f7
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/09 06:28
Update copyright year
b4a7a0d4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/09 06:22
Bump version
2dc297eb
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/09 06:17
Implement local fixity declarations.
3615a8ce
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/09 05:45
Get rid of the EBind type and use EDef instead.
4bdb0c12
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/09 05:19
Make sure type variables always point from new to old.
43da6a21
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/08 18:52
Start of TypeApplications
dda1943b
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/08 18:50
Add 2025
ed1920f1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2025/01/08 12:24
Bump version.
053395e9
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2025/01/08 05:19
Merge pull request #83 from konsumlamm/report
68db361d
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/08 10:58
Add some missing functions/instances from the report
5b6168bb
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/08 10:57
Define helpers for `Enum` instances of numeric types
c101325a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/08 06:17
Bump version
22ec8f9c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/07 11:32
Get rid of junk that is no longer used.
91e9f75a
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2025/01/07 23:15
Merge pull request #82 from konsumlamm/NumericUnderscores
9ddaa676
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/07 14:17
Refactor lexing numbers with base prefix
dd5a0c75
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/07 13:37
Implement NumericUnderscores
d53fe342
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 11:33
Regen
5e354c9c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 11:22
Add time
94db41b3
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 11:15
Fix typo
5e4f9f0a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 11:09
Fix pastos
e14da1c3
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 10:51
A workflow to compile some hackage packages on push.
cf20fb93
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 07:59
Parse type applications
39148aaa
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 07:30
Bump version
be6d9eb8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 07:29
Don't force always.
a4229eb2
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 07:22
Force the compile cache on save.
51f90513
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 07:05
Merge branch 'master' into mrnf
7ae7d07f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 07:04
Don't export patsyn match type
44632872
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 06:28
Merge branch 'master' into mrnf
f7105307
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 06:25
Better checking of dups
35cc33cd
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 06:07
Small improvement of anySame
dd510e87
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 05:58
Regen
5453bdf9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/06 05:56
Merge branch 'master' into mrnf
99944a78
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2025/01/05 22:32
Merge pull request #81 from konsumlamm/EmptyCase
c63f7b6f
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/05 21:17
Add `SLoc` to `ELam`
7d6f6cd4
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/05 20:09
Fix empty lambda case
5d4c8718
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/05 16:04
Bump version.
a48f2f28
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/05 15:58
Fix bug in finding value identifiers associated with a type.
5fdd34ec
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/05 15:38
First change to assocTable
be01052e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/05 08:53
Force evaluation on top level.
86bca0a3
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/05 08:52
Add typeclass MRnf to force evaluation.
5bcc30b7
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/04 13:55
More Data.Text stuff
d5ca3311
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/04 12:34
Add some more Data.Text functions.
4d98e870
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/04 11:52
Bump version.
b782a5b1
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/04 11:50
Small improvement for list comprehensions.
e0bff6c1
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/04 11:47
Make it work with new ghc. It has very different error output.
5f1eafa0
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/04 11:32
Change how instance matching is done.
Next