shithub: MicroHs

5fdd34ec – Lennart Augustsson <lennart@augustsson.net> authored on 2025/01/05 15:38

First change to assocTable

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

4ba2eecb – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/01 06:15

More pattern synonym stuff.

1f3d0316 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/29 19:47

Fix bug with local type signatures

2f26ca13 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/29 06:27

Don't ever close std handles

ab72f746 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/29 06:20

Initializer finalizer field.

e2284029 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/28 20:32

Make IO errors throw the correct exception.

5ece8062 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/28 19:48

Work around a bug when using !_

a13fe877 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/28 19:34

Add setBuffering

f58d438a – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/28 10:31

Add StandaloneDeriving

a4f5892f – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/24 09:56

Fix a deriving bug

0bb0428b – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 08:54

Add missing primitives

6f5ab727 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 08:06

Update tests for 32 bit

b8b9a7ab – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 07:45

Make it compile

687532ec – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 07:38

Fix typos

9bb5a048 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 07:35

Format related changes