shithub: MicroHs

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

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__