RSS feed
e2ca4b93
– konsumlamm <konsumlamm@gmail.com>
authored
on 2025/01/10 14:12
Add missing primitives in `translate`
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.
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
afef0037
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/26 07:40
Bring up to date
fb0b4f3c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/26 07:20
Regen
e2b6f13f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/26 07:01
Change vew pattern parsing to be more permissive.
f68d9168
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/26 06:26
Small hack for ~
0c1a6083
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/26 05:24
Remove constructor PatternSign, use Sign instead.
2bb5d671
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/25 15:38
Regen
3cb87104
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/25 15:37
Merge branch 'master' of github.com:augustss/MicroHs
d5530870
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/25 10:50
Add patterns to value export table.
466bdea5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/25 10:47
Better parsing of view patterns.
8354f3d9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/25 09:44
Regen
c72dd2d8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/25 08:44
Bump version
bc55ef4a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/24 18:36
Implement type inference for pattern synonyms.
4f6c8981
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/24 18:34
More tuple instances.
22db3e89
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2024/12/24 05:14
Merge pull request #76 from liolin/fix-mhs_from_Unit-generation
Next