shithub: MicroHs

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

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