shithub: MicroHs

Info  •  Files  •  Log  •  Branches

5c0c2769 – Lennart Augustsson <lennart@augustsson.net> authored on 2025/01/16 08:21

Use a macro, SETBSTR, to set BSTR nodes.

1350298e – Lennart Augustsson <lennart@augustsson.net> authored on 2025/01/16 07:24

Refactor the implementation of Integer to its own module.

0c1958c6 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2025/01/15 22:23

Merge pull request #90 from konsumlamm/BitsInteger

e28034d6 – konsumlamm <konsumlamm@gmail.com> authored on 2025/01/13 19:33

Implement `Bits Integer` instance

1aa30735 – konsumlamm <konsumlamm@gmail.com> authored on 2025/01/13 18:51

Define & use `bitDefault`, `testBitDefault`, `popCountDefault`

cfd47722 – Lennart Augustsson <lennart@augustsson.net> authored on 2025/01/12 14:09

Add a #if WANT_STDIO

5c6c83ad – Lennart Augustsson <lennart@augustsson.net> authored on 2025/01/12 10:13

Show size of combinator code even when it's from an internal array.

7d146bd7 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2025/01/12 07:02

Merge pull request #89 from konsumlamm/shift

0022e677 – konsumlamm <konsumlamm@gmail.com> authored on 2025/01/11 19:20

Fix UB in shifts & add missing `Bits` instances

2ec34c1a – Lennart Augustsson <lennart@augustsson.net> authored on 2025/01/12 10:06

Change back to not using bits shift in Integer.hs.

faec0628 – Lennart Augustsson <lennart@augustsson.net> authored on 2025/01/12 08:16

Bump version

01e3ea89 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2025/01/12 01:14

Merge pull request #87 from konsumlamm/Integer

0a6f76bc – Lennart Augustsson <lennart@augustsson.net> authored on 2025/01/12 08:05

More README updates

63919e14 – Lennart Augustsson <lennart@augustsson.net> authored on 2025/01/12 08:03

Update README

1c9763a5 – Lennart Augustsson <lennart@augustsson.net> authored on 2025/01/12 07:25

Make it possible to pass just a .c file to mhs.

ac79f6fa – Lennart Augustsson <lennart@augustsson.net> authored on 2025/01/12 07:10

Fix instantiation bug for nested quantifiers.

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