shithub: MicroHs

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.

c59040c0 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/28 16:19

Refactor more.

1929d9a3 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/28 16:14

Refactor EUpdate handling

515ed236 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/28 10:56

Add deriving Show

d9fead3f – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/28 10:19

Add missing synonym expansion.

0415e7b9 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/28 09:56

Allow TABs in source

185116f4 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/28 05:13

Fix pasto bug in foldr1

7a66420f – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/28 04:51

Use separate flags for reading and writing the cache.

1ef83014 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/28 04:36

Better cache test.

e3abe7df – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/28 04:34

Don't put field names as associated data; they have no symbol table entries.

9fcea2a5 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/27 14:58

Minor Ord changes.

39b29bee – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/27 14:47

Implement deriving Ord.

208ba285 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/27 14:38

Refactor. Rename Any to AnyTime

b71628cd – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/27 14:05

Add Ordering

d94f038f – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/27 14:05

Add Solo

e8c7af11 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/27 11:01

Use deriving Eq in a few places

4c2cb9e5 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/27 10:58

Implement deriving Eq

956624b4 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/27 09:35

Update

9135379f – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2023/12/27 16:06

Update TODO