shithub: MicroHs

f8bb21a9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/23 09:51

Slightly better error messages.

ea06c658 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/23 09:42

Prepare for guards.

a41e34ea – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/21 15:02

Make it look nicer.

e6ffa927 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/21 14:21

Get rid of unused EBad

662c9dd7 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/21 14:15

Use string literals in combinator file.

3aaa1474 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/21 13:26

Better string processing.

44e87cd4 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/21 13:14

Add a separate type for literals.

a58a75d1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/21 10:00

Various portability fixes.

5c690b0d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/21 06:48

Update docs

db48432f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 14:07

Various changes so we can have a cabal file.

82e418f7 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 12:20

Remove bad test.

961c1a4f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 12:18

Check pattern constructor arity.

d2c046ec – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 12:18

Add a sanity check.

9d4223ec – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 11:37

Add T combinator.

0f5595c4 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 11:25

Rename T combinator to A

33f575d0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 10:54

More docs

c90466d7 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 10:33

foo

10d0183f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 10:32

Updatre docs

11711807 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 10:22

More docs

abdbf2e7 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 10:20

More docs

089ead19 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 10:17

Update docs

6f407c9a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 10:06

Check in the compiler combinator file for bootstrapping.

468ad431 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 10:01

Use nicer function definitions

9fc89738 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 09:36

Use export lists.

0bfc66d2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 09:03

Process export list properly.

433a5187 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 09:03

Add toList

c978f2f1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/20 07:57

Do export table in a nicer way.

e3eaf70c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/19 18:23

Inline node allocation.

464aac4c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/19 18:19

Switch node layout.

4a43da4f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/19 17:56

Save memory fetches by decoding the tag from the address.

1e5842fe – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/19 13:07

Higher limit for IND loop error.

8a5b5e3a – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/19 13:03

Switch GC marks to use a bit vector.

626af999 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/19 07:28

Use num_free to determine when to gc.

5208f572 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/19 07:28

Add package flag

756a3fe3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/18 17:10

Start of simplified export&import

fbbd903d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/18 17:10

Add unzip3

43dd6b0d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/18 17:08

Better type propagation.

1deff1e1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/18 16:08

Split synonym table from value table.

2f0df496 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/18 15:20

Prepare for better export list.

b5029e45 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/18 14:59

New format for combinator file.

9d318e9f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/18 11:48

Fix compilation

2b0965af – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/18 11:46

More timing. Use faster(?) StringMap.

f6a99618 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/18 10:14

Add getTimeMilli

31ebb118 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 17:37

Minor fixes.

7aede398 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 17:11

Update example.

e5da1f91 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 17:08

Hack matching on Int

2d82e859 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 17:07

Better readInt

163fd253 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 16:36

Allow function definitions with multiple equations.

8cd7f0f8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 14:19

Minor improvements

a6544996 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 14:05

Use pattern lambdas.

c4a3d225 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 13:51

Allow patterns in lambda.

82745dfe – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 09:48

Better message.

501c4903 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 09:08

Move language extensions to the Makefile.

a31f8ebb – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 08:33

Clean up junk.

14e1e49b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 08:29

Improve pattern match desugaring.

6e327cd0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 08:29

Add substExp

08ec02b4 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/17 08:29

Add intersectBy.

6108f5c6 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/16 13:55

xxx

c0fb0e8b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/16 13:53

Possible improvments.

8e75a060 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/16 13:35

Inline more case stuff.

9e5dbafb – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/14 06:36

Make it compile with old compiler.

9f3efcc6 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/13 13:33

Handle complex pattern matching.

07946af6 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/13 10:35

Temp.

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

Use Expr instead of EPat, but keep separate parsing.

453b12df – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/11 08:40

More stats.

28d8c7f0 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/11 07:51

Nicer stats.

a38c64ce – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/10 16:37

Now bootstraps with type checking.

64345fe2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/10 07:06

More type checking fixes.

bb8aec3b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/07 08:22

More type fixes

a90d1175 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/07 08:21

Better import

3bf3924a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/06 19:56

Various type fixes.

da5350d2 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/06 15:31

Improve.

cc57346e – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/06 15:16

First version with type checking.

617475b6 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/06 07:38

Temp

9a392312 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/27 09:47

Temp commit

17b450fc – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/25 10:58

Add more lib modules.

677a0f0e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/25 10:58

Handle negative literals.

f7db30f1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/23 15:28

Add lots of type signatues and forall.

031d2125 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/07/22 15:59

Transfer

3437518f – Lennart Augustsson <lennart@augustsson.net> authored on 2023/07/22 15:57

Transfer

7ae8c443 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/07/22 11:57

Make int64_t printing portable.

c0b279fc – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/22 06:50

Start of type checking.

e5bc9236 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/21 17:06

Change ELam to abstract just one variable.

ca512ed2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/21 12:13

Get rid of Data.List_Type

93a2f76e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/21 12:10

Allow '()' and '[]' as uppercase identifiers.

45b34015 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/21 10:23

Different showExpr.

33b009fa – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/21 10:22

Use Expr for EType.

3719955b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/20 12:37

Update

bca0b02d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/20 12:32

Update

7936c701 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/20 12:31

Update

298c9824 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/20 10:58

Rename uhs to mhs.

787d8842 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/20 10:48

Add an (unused) Data.Map

d8d8856b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/20 07:53

Add version string to compiler binary.

04a4bbe4 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/20 07:45

Sort in frequency order.

ee853660 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/20 07:20

Specialize the Map to StringMap.

5f2d25dc – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/19 15:29

More functions.

5f838424 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/19 09:28

Better Char comparison.

91d6001a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/19 09:13

Clean up

acf40ed4 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/19 09:11

Remove junk

06ce96c1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/07/18 19:19

More tests