shithub: MicroHs

3eec9d59 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 12:19

Make Prelude more like the report.

861e99a0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 06:44

Neater infix declarations.

bceced6e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 06:40

Add Data.ZipList

4a7a73a6 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 06:38

Align more with GHC

5ceabfe2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 06:08

Don't GC in deserialization; parse() does that now.

7e4beb4c – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/02/02 06:03

Merge pull request #30 from jmaessen/no-parse-crash

3b96876c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/01 09:53

Even more tests turned on.

1d4e3f13 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/01 09:45

Align tests on different platforms.

12489d7f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/01 09:36

Try with more tests

a5f46e11 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/01 09:23

Minor cleanups

7400f507 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/01 08:58

Silence a warning.

864e2ee5 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/02/01 07:35

Merge pull request #34 from jmaessen/gc-pointer-stack

f9dcbeba – Jan-Willem Maessen <jmaessen@fb.com> authored on 2024/01/30 17:15

Remove indirections

9a1bca55 – Jan-Willem Maessen <jmaessen@fb.com> authored on 2024/01/31 05:27

Use pointer stack for GC

48d806f9 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/01/31 05:28

Merge pull request #33 from jmaessen/remove-indirs

15a4c1e0 – Jan-Willem Maessen <jmaessen@fb.com> authored on 2024/01/30 17:15

Remove indirections

e58eace5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/30 06:52

Remove wrong comments.

be88c32e – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/01/30 06:49

Merge pull request #32 from jmaessen/asan-ubsan

a753d47a – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/01/28 18:59

Merge pull request #31 from jmaessen/time_timecachecompile

f8a541c3 – Jan-Willem Maessen <jmaessen@fb.com> authored on 2024/01/28 17:24

Fix asan and ubsan violations, one of which was causing periodic

e9db912a – Jan-Willem Maessen <jmaessen@fb.com> authored on 2024/01/28 10:19

GC check during parse so we don't crash.

aec61b31 – Jan-Willem Maessen <jmaessen@fb.com> authored on 2024/01/28 10:12

use time to get end-to-end timecachecompile timing

3a4d34e2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/23 05:36

Allow some Unicode syntax.

35ed3c00 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/22 15:14

Fix another pasto

1a7ea9fe – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/22 15:13

Make neater.

dc6404d0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/22 15:13

Fix pasto.

062c2474 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/22 14:49

Open (text) files in utf8 mode.

a32b2179 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/22 14:27

Safer wordsize detection.

33992166 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/22 12:47

Make all IO go through our own BFILE.

3771200d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/22 09:20

Add export list.

be3a0829 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/22 06:30

Change how AP and INDIR are counted. Use a macro for stats counters.

0125e893 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/14 09:40

Sync

64bd832b – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/01/21 18:08

Merge pull request #28 from jmaessen/eval-is-evali

8ce07251 – Jan-Willem Maessen <jmaessen@fb.com> authored on 2024/01/21 11:43

Turn eval into evali

05b59aa2 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/01/20 15:58

More about installation.

b1b1dec5 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/01/20 15:52

Have 'cabal install' copy the lib/ stuff.

c20051c7 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/01/20 15:16

Merge branch 'master' of github.com:augustss/MicroHs

2c3e86d0 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/01/20 15:16

Merge pull request #26 from jmaessen/ExpPrint-dfs

445efb64 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/01/20 15:00

Merge branch 'master' of github.com:augustss/MicroHs

f63867c6 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/01/20 15:00

Allow different main()

71fe5819 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/01/19 05:20

Merge pull request #25 from jmaessen/lazier-utils

9c14fe1d – Jan-Willem Maessen <jmaessen@fb.com> authored on 2024/01/19 00:16

Serialize combinators use depth-first search

f9f47c64 – Jan-Willem Maessen <jmaessen@fb.com> authored on 2024/01/18 22:21

Tweak Desugar.lazier to use existing utility functions

ddc38da1 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/01/18 03:20

Merge branch 'master' of github.com:augustss/MicroHs

7bfdb889 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/01/18 03:19

Merge pull request #24 from jmaessen/parse-fewer-indirs

496c846f – Lennart Augustsson <lennart@augustsson.net> authored on 2024/01/18 03:17

Generate newlines between definitions in the .comb file.

d3c2b26e – Jan-Willem Maessen <jmaessen@fb.com> authored on 2024/01/17 16:52

Don't create indirections for unreferenced labels during deserialization

bd9e211f – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/01/17 03:46

Merge pull request #22 from jmaessen/lazier-multiarg

9afcafd3 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/01/16 18:20

Minor clarifications.

8e9985f1 – Jan-Willem Maessen <jmaessen@fb.com> authored on 2024/01/16 17:54

Handle any number of constant arguments in `lazier`.

35f0221d – Lennart Augustsson <lennart@augustsson.net> authored on 2024/01/16 03:10

Mention StandaloneKindSignatures

a5e132e2 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/01/14 18:39

Merge pull request #17 from gergoerdi/c64

c712e060 – Gergo ERDI <gergo@erdi.hu> authored on 2024/01/14 06:43

CC65 has ANSI C-like ideas of how variables can be declared...

d4ef66de – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/01/14 10:49

Update eval.c

90894aad – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/14 09:40

Revert u_char

ae183b41 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/14 08:28

Some C64 stuff.

28638046 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/14 08:23

Devolve code to ancient C to be compilable with cc65.

787b9f75 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/14 06:15

Small cleanup

c7cbc8df – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/14 05:56

Rename files for a particular board.

df6464ed – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/01/13 15:00

Merge pull request #16 from gergoerdi/master

fecb4118 – Gergo ERDI <gergo@erdi.hu> authored on 2024/01/13 16:25

Gate `-T` CLI flag behind `WANT_TICKS`

76e8aed8 – Gergo ERDI <gergo@erdi.hu> authored on 2024/01/13 16:16

Match the output format of `mhs -ofoo.c`. This avoids a segfault when

d7b6eea2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/13 07:24

Add a test target for minimal configuration.

2f2823cd – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/13 07:22

More cleanup for minimal compile.

818777d0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/13 07:09

Ignore more.

4c3d3b61 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/13 06:58

Make it compile with WANT_FLOAT=0

46e95ea2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 20:43

Revert testing

d03e137a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 20:40

Try more tests on x86

3998e179 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 20:24

Minor improvements.

820ebb5f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 16:45

Mention STM32.

7cfca241 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 16:34

Fix FFS bug.

b1484883 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 16:28

Ignore more.

45342ab2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 16:25

Simple STM32 project.

04ebecac – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 16:09

Generate const tables.

86f201f7 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 16:09

More fixes for STM32.

ead710d9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 14:43

Add more config stuff.

4944da4f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 14:42

Fix longstanding bug in find_label.

63a970aa – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 14:41

Some STM32 stuff

12c00cfa – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 14:40

Add forM and forM_

590f0192 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/12 14:40

Skip macos emscripten test, it fails randomly.

48f84c23 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/11 09:02

Change the file format to use postfix instead of prefix notation.

8f1cae84 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/11 08:03

Regen

b993c2b7 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/11 08:01

Run size after building mhseval

f962f4a8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/10 07:58

Initial versions of Foldable and Traversable

0dae71b0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/10 07:58

Add Functor instance

74a051e7 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/10 07:39

Add runIdentity

c43ac952 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/10 07:39

Add Const

40aea484 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/10 07:24

Fix typo.

5355ad5a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/09 12:50

Refactor float conversion.

bd6714c9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/09 08:28

Use BFILE instead of FILE in printing.

1ae3cf88 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/09 07:46

Add some utilities.

5c28fc0a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/08 13:28

Make UTF8 to String conversion respect UTF encoding.

a37c98d8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/08 13:27

Handle numerically encoded input char literals.

ace94aa2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/08 12:38

Make UTF-8 strings into a primitive type.

48db12b5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/08 12:23

Change so T_STR nodes have a length for the string.

21babac8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/08 08:47

Get rid of hSetBinaryMode, add openBinaryFile.

64a62e84 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/08 08:36

Add flushb(). Get rid of fwrite().

a615514e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/08 08:02

A little neater.

b2c6861b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/08 07:48

Some UTF8 stuff

b1c56462 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/07 12:34

Move BFILE stuff to its own file.