shithub: MicroHs

RSS feed

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

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

Next