RSS feed
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
b352d4fe
– Olivier Lischer <olivier.lischer@liolin.ch>
authored
on 2024/12/24 12:02
Remove Primitives prefix
ffda7053
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/23 09:24
Merge branch 'master' into patsyn3
f1136c9a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/23 06:01
More patsyn
8fdde6a4
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2024/12/23 02:17
Merge pull request #74 from treeowl/mergesort
fb75d1b1
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/23 09:13
Regen
ba44b0a8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/23 08:57
Merge branch 'reds'
57c1b0cd
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/23 07:59
More partial reductions
79a65fa8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/23 07:08
More reductions of partial pplications.
c68e543a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/22 07:35
More runtime reductions.
af246509
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/21 10:39
Bump version number
3e6d2a2b
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/21 10:39
Bump version number
670601ab
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/21 10:35
Ignore 'type role ...'
fb1ea141
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/21 10:24
Regen
4ca0b4d1
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/21 10:23
xxx
430747e4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/21 10:19
A hack to allow 'a ~ b =>' in existential/GADT contexts. Fixes issue #75
94508062
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/12/16 12:44
Type equality (~) should be polykinded. Fixes issue #71
747bad07
– David Feuer <David.Feuer@gmail.com>
authored
on 2024/12/16 08:54
Use a mergesort
dc708ee4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/13 14:58
Fix typo
3e746a77
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/13 14:47
Regen
189836c7
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/13 14:46
Add simple pattern synonym test.
d24fd07e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/13 14:36
Better handle ing pattern synonyms.
3bc7e255
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/12 15:40
First version of pattern synonyms
4f57f676
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/11 18:56
Document __MHS__
8e4405a5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/10 16:41
Merge branch 'master' into patsyn3
65a2249a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/12/10 07:46
Fix issue reported in #70
dc89fa97
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/08 17:45
Change tcPat to integrate arity checking.
5b912da5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/08 13:26
More error tests
d370185f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/08 13:03
Nore patterns
0e0fb3a0
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/08 06:49
Merge branch 'master' into patsyn3
fec27780
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/08 06:48
Fix some comments.
dfda74cb
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/08 06:43
More pattern synonyms
b2c417da
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2024/12/07 11:42
Temp
Next