shithub: MicroHs

Info  •  Files  •  Log  •  Branches

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.

aa0a743a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/04 06:27

Tweak comparison.

ad2c08d9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/03 16:16

Make comparison a little faster by not using the C stack.

c09586ae – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/03 16:00

Add missing T_DBL case.

217943ad – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/03 15:30

Small cleanup.

7c11bb42 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/02 11:19

Change how execio() works.

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

Fix serious size bug.

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

Small simplification/

7df2ea1d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/01 13:35

Start of execio conversion

8c1aa210 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/01/01 13:13

Fix typo

6ad90611 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/18 13:48

Tweak

45222f41 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/01/01 10:22

Update tag_names

142caccb – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/31 08:01

Make type equality polykinded

0d192383 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/31 07:54

Insert missing constraint solving.

69360a6a – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/31 07:51

Small cleanup

74935aed – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/30 01:25

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

a593b909 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/30 01:23

Remove junk

a7220507 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/30 01:15

Found a bug.

28dde478 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2023/12/29 18:01

Disable part of the test. It fails randomly.

a67663e2 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2023/12/29 17:56

Update README.md

f88a111d – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/29 16:33

Make errors work in interactive gmhs

9f97fdfd – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/29 16:22

Update

2b5785db – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/29 07:01

Add missing C'B

942cda21 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/29 05:54

Bump version number.

0ba6b237 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/29 04:58

Implement NamedFieldPuns and RecordWildCards.

019e764c – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/28 16:45

Update documentation.

6a4a8b46 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/28 16:31

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

9b0ffcfa – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2023/12/28 21:03

Update README.md

4b4c49e0 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/28 16:30

Implement record patterns.