RSS feed
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.
2b2e1706
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/04 08:20
Merge branch 'stable-5'
3986db6a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/04 08:19
Export NFData1 and NFData2
7fa750d6
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/02 07:30
Better handling of polymorphic fields.
14bf2617
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/02 06:53
Add missing Traversable instance
b1552fdb
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/02 06:18
Hack to make polymorphic fields work.
e5d97bb2
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/02 06:17
Same hack as GHC to make $ special.
e403ca51
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/02 06:16
Don't generate GetField/SetField for polymorphic fields.
706658c3
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/02 06:16
Bump version
6b608927
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/02 05:22
Add NFData1 and NFData2
7b429c10
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/01 12:02
Better error message when running out of heap when reading the code.
f88a408d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/01 10:37
Add lines/s flag
ce1c21c4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2025/01/01 07:21
Bump version
d1984a0f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/31 11:47
Merge branch 'master' of github.com:augustss/MicroHs
ecebfb40
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/31 11:47
Add top level pattern bindings.
dce9f2cc
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/31 10:03
Regen
e1db93e9
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2024/12/31 03:00
Merge pull request #78 from liolin/add-missing-clamp
44a57dbf
– Olivier Lischer <olivier.lischer@liolin.ch>
authored
on 2024/12/31 08:53
Implement `clamp` in Data.Ord
9c14bc26
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/29 11:48
Another Data.Text variant
4684ef5c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/29 09:12
Another ByteString variant.
285eed09
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/29 09:03
Add another ByteString variant.
0d0cec2d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/29 09:03
Add type signatures
98853f54
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/29 08:42
Fix qualified name bug in Coercible solver.
b1afd112
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/29 08:26
Make Char a newtype over Word instead of some primitive.
9b6056fc
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/29 07:55
Include Data.Coerce and bump version.
c6e8e33d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/29 07:41
Test coerce
581fb546
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/29 06:47
Implement Coercible
f3d7e412
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/29 06:47
Refactor
e54c08b8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/28 12:23
Bump upper bounds of packages.
cd38d4ac
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/27 09:20
Implement bundled pattern synonym exports.
a5c53fb7
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/27 08:18
Change export item parsing (prepare for bundled patsyn).
4e989962
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/26 14:43
Merge branch 'master' of github.com:augustss/MicroHs
68b92603
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/26 12:13
Get the Entry correct for patsyn
38c8119d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/26 12:13
Get the Entry correct for patsyn
Next