shithub: MicroHs

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

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

Update README.md

5deb7b51 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/27 04:37

Implement nested record updates.

40371d32 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/27 04:20

Move virtual tuple fields to Records.

939a4957 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/26 11:50

Rename Data.Record to Data.Records

74992856 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/26 11:44

Improve selection sections.

dd5c2d7e – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/26 11:29

Use some virtial fields

b2de9844 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/26 11:29

Make virtual fields for tuples.

41e95fea – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/26 05:34

Don't derive anything yet.

2611c620 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/26 05:15

Use a record for the flags

412e5029 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/26 04:58

Use more record syntax

82b07338 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/26 04:41

Complain about extra bindings in instances

11a32d05 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/25 14:00

Update Typeable for prettier print.

c5476618 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/25 13:48

Switch to named fields in TCState

2ac26570 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/25 11:26

Implement deriving for Typeable.

78f45bf0 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/25 10:55

Prepare for deriving.

92c26abb – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/25 10:33

Use polykinds in Typeable.

ddd6ef61 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/25 06:55

Update with some record info.

eea5c5c8 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/25 06:42

Add missing file.

77260042 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/25 06:39

Generate HasField automatically.

cf12ee82 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/25 06:32

Refactor a lot of type checking stuff into TCMonad module.

60f772fc – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/24 12:18

Implement record syntax using HasField.

c80cf8af – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/24 09:05

Fix typos

961bc849 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/24 08:26

Bump version.

d85af065 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/24 08:22

Small updates

3b9c34f8 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/24 08:14

Add test for polykinds

d7c13833 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/24 07:43

Add a test

ed1f511d – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/24 07:41

Fix typo in Ord

6f03b83a – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/24 07:36

Add simple Control.Arrow.

9a53e831 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/23 09:43

Do kind inference to get rid of annoying kind annotations.

66fc4633 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/23 08:04

Make sure we keep the checking modes straight.

6702020f – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/23 06:57

Change how levels (type/kind/sort) work in the type checker.

29c4cb29 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/23 04:59

Slightly fewer id collisions.

95fb3098 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/23 04:55

Regen

c50e2aa6 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/23 04:54

Comments

90738f38 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/23 04:30

Small speedup

f21dd735 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/23 04:16

Add C'B combinator. It shaves off 0.5s on self compile.

e0b51de2 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/23 04:04

Add simple tick based profiling.

a73f8741 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/23 03:49

Slightly faster ++

af9153dd – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/23 03:49

Slightly faster unzip

88b845ec – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/22 15:11

Refactor reading strings.

ec20032e – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/21 17:43

Add flag, -T, to generate ticks.

c617557a – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/21 17:35

Refactor flags into its own module.

dee837dd – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/21 16:56

Prepare for kind signatures