shithub: MicroHs

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

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

Turn ERR back to PRINT

96366c24 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/21 16:18

Implement eqT and gcast

d08ab630 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/21 15:53

Fix silly bug

7ecf112f – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/21 14:49

Add Data.Dynamic

6704af83 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/21 14:32

More instances

1bef688c – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/21 10:52

More

47043019 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/21 10:49

Start of Data.Typeable

9fad45af – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/21 10:48

MD5 of a byte array

4df44dba – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/21 10:48

More functions

14c55115 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/19 18:00

Fix primop names

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

Make md5String pure

0afa9165 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/19 16:01

Add missing Ord instance

fe359d7d – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/19 15:25

Make md5 checksums smaller

e467aff8 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/19 15:05

Fix typo

9c540586 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2023/12/18 13:30

Merge pull request #9 from Rewbert/master

8a4446b5 – Rewbert <krookr@chalmers.se> authored on 2023/12/18 12:56

move defines to before earliest usage lol

697acce4 – Rewbert <krookr@chalmers.se> authored on 2023/12/18 12:53

Lennarts comments

fe72123b – Robert Krook <rewbert93@gmail.com> authored and GitHub <noreply@github.com> committed on 2023/12/18 11:55

Merge branch 'augustss:master' into master

933e4593 – Robert Krook <rewbert93@gmail.com> authored and GitHub <noreply@github.com> committed on 2023/12/18 11:54

Merge pull request #6 from Rewbert/platform-specific-refactor

a63dab60 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/18 11:40

Fix some stragglers after primop renaming.

8a409d55 – Rewbert <krookr@chalmers.se> authored on 2023/12/18 11:36

add platform specific setup and teardown to main

d1ad453b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/18 11:34

Add some missing modules

7981d738 – Rewbert <krookr@chalmers.se> authored on 2023/12/18 11:32

fix bug

dbb07113 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/18 11:29

Add more functions

fa6432f8 – Rewbert <krookr@chalmers.se> authored on 2023/12/18 11:25

change some fprintf(stderr to ERR/ERR1

eb67b951 – Rewbert <krookr@chalmers.se> authored on 2023/12/18 11:19

move static sizes out into configuration file

13593bf3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/18 11:12

Add more standard stuff.

43b5b3d0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/18 10:54

Handle missing methods differently.

eb375045 – Rewbert <krookr@chalmers.se> authored on 2023/12/18 10:19

printf -> PRINT

99032d3f – Rewbert <krookr@chalmers.se> authored on 2023/12/18 10:14

exit -> EXIT, and spellcorrection of exit->EXIT

20336858 – Rewbert <krookr@chalmers.se> authored on 2023/12/18 10:09

free -> FREE

66347eb7 – Rewbert <krookr@chalmers.se> authored on 2023/12/18 10:02

malloc -> MALLOC

e452c364 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/18 09:47

Regen

e8663ea3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/18 09:47

Add foldl' and foldr'

6227f227 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/18 09:46

Add Sum&Product

e824ee9e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/18 09:46

Move seq

c2d0326b – Rewbert <krookr@chalmers.se> authored on 2023/12/18 07:15

errtester.sh does not work on fresh clone, create if not existing

ea48ba6d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/18 06:02

More testing

bfea4e5e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/17 15:54

Start by printing system info.

e70f7204 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/17 15:54

Add some stuff

a3165669 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/17 14:21

Remove riscv64, add s390x.

5a02e9e0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/17 14:08

Add Risc-V

b54f55a3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/17 13:59

Lower nfib

ca26282e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/17 13:53

Implement ST monad. Just STRef so far.

ac0c51a3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/17 13:15

Much nicer getArgs/withArgs

5a04627c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/17 13:03

More IOArray stuff.

82cc91ac – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/17 11:08

Some IOArray stuff.

701bbb29 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/17 07:46

Temp

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

Add Word8 for byte manipulation.

8ce96e5c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/17 07:00

More storable

7012562d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/17 06:35

More storable.

bdd67c25 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/17 06:11

Add sequence_

f8732cab – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/17 06:10

More storable stuff

4d3b1c9b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/16 14:59

Use more consistent nameing of primitives.

7c97a797 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/16 09:18

Add package dependency.

f83adaa4 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/16 09:08

-r mostly works with ghc now.

7960282b – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/16 09:05

Add line editing to ghc version.

44dc3008 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/16 08:47

Most tests work with ghc direct execition now.

37df8d55 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/16 06:32

More ghc tweaks.

ad8eefd7 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/16 06:18

Split out serialization test.

f1cfa713 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/16 06:11

Separate pointer equality.

e380df13 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/15 08:27

More fixes

f20fbd71 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/15 08:13

Many small fixes to support direct evaluation with ghc compiled mhs.

92364d5e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/14 18:49

Fix bug in C'

7b8a7888 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/14 18:49

Make ord and chr into primitives (which are just I in eval.c).

01753e0f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/14 18:48

Add a coverage target

18f680c9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/10 15:25

Update

265b6bf6 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/10 15:14

Use difference lists for allVarsExpr

7e0e096c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/10 14:53

Implement view patterns.

ece44053 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/09 12:56

Less

1b99562a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/08 12:36

Slightly less buggy parser

b926e7ce – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/08 12:36

Less

d3405fb5 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/09 12:53

Start of view patterns.

6caaf2fe – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/09 08:19

Use different constructor for prefix negation.

53ceb875 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/12/09 08:05

Cache flag -s now -C

9005e82a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/05 06:13

Edit

9cfcb11d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/04 20:14

Add K2, K3, K4

a87c3802 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/04 15:30

Only do GC reductions in the first pass.

9f609d8f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/04 14:57

Fix a pattern parsing bug.

8fb0571b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/04 14:28

Prefix negation fixed.

4bc6e977 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/04 14:22

Turn on alternate constructor encoding.

d3340bac – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/04 14:10

Add a different constructor encoding. Currently disabled.

218649cd – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/04 13:35

Swap encIf arguments

aeae7c4f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/04 13:26

Add sortBy

a10da947 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/12/04 11:05

Refactor encoding of lists.