shithub: MicroHs

6eb68e5c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 16:11

Change test

17d673ba – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:57

Add missing file.

68ad75d9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:55

More Read tests.

86275df6 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:50

Fix Show Char quotation bug.

3ba552fd – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:41

Test Read

d4d8306d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:39

Even more Read

977b9590 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:28

More Read

25faeffb – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:20

More Read

392a92e3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 14:54

More Read

4b775410 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 08:00

Redo Read a bit.

655c36aa – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 19:28

Change to use list comprehensions in Read. Add readList.

54c1737c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 15:38

Move concatMap.

12c2177c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 08:12

Add missing files.

c9fd0454 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 07:41

Fix bug in failing match in 'do'.

cfe4eb05 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 06:59

Move PrintOrRun to its own module.

14444d50 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 06:47

Add test for interactive system.

603d55ac – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 06:46

Make interactive gmhs work a little again.

07d3077a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 06:32

Some Read instances.

a2733705 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/02/03 19:33

Update TODO

d16385eb – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 17:12

Add the oddball Numeric module.

6572a204 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 17:11

Add intToDigit

a16c884e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 17:11

Temporary Read class.

1ea602aa – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 13:49

Export Type from Compat

8a7e867f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 13:47

Remove file that is gone.

88da54f5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 13:46

Make interactive system work again.

2fd27e0e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 12:13

Add layout case that I missed initially.

0cba80b8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 12:07

Handle a few more Char literals.

5ce67d1c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 11:47

Removed commented out code.

db45a141 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 11:22

Distinguish real and synthetic { }

b21e9261 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 11:12

Add comments

c122d9ce – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 08:24

Move Alternative to Applicative module for better compatibility.

4ce38e41 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 08:14

Add isOctDigit

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

Move MonadFail to its own module.

2e57a841 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 17:23

Start of Read.

30bbf972 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 17:22

Some more functionality.

3129f49e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 17:06

Complain about missing 'main'. The got lost in the DFS change.

506c83ae – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 13:22

Even more like Report Prelude.

1e966c16 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 13:00

More import checks.

d52d68c2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 12:32

Complain when imported item is undefined.

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`