shithub: MicroHs

Info  •  Files  •  Log  •  Branches

042f4d6e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 08:53

Make primCompare return Ordering

fe190585 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 08:06

Typo.

80e8fc32 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 07:55

More docs

100938e8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 07:43

More docs

b62ae993 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 07:31

Make it work with cabal

b29c281f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 07:25

Improve and document compilation process.

0b9fc139 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 07:12

Use rnf.

85934531 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 06:55

Add 'rnf' primitive.

44686596 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 06:55

Add 'rnf' primitive.

747b9bb1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:40

Formatting.

1498067e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:40

Print anything (not a good idea).

0589439c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:19

Make it compile with cabal.

b35ddc07 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:09

Done

91863720 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:08

Switch to Adams trees for the IdentMap

0e13031e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:07

More possible combinators

78d7951d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:07

Add primCompare, returning -1,0,1

8b4713bd – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:06

Add ^K

47235546 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:05

Improve statistics tool.

1f897883 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:05

Add Data.Ord

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

Some statistics helpers

0a75bcd5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 15:01

Add a compare primtive. Should probably be changed.

db36f393 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 11:00

Typo.

844cdf46 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 10:58

Caveat emptor

40aead35 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 10:12

Small improvements.

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

Use catch in Interactive.hs

8ca938fd – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 08:36

Implement catch.

de8a34be – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 08:36

Add fmap to IO

69e16fa4 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 20:33

Minor fixes.

b4e1e10b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 20:33

Fix eval bug.

d018337c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 20:27

Expand short String patterns.

cb44db66 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 20:23

Fix bug in pattern match compilation.

75f35221 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 16:43

Various changes for an interactive version.

a8308e68 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 13:11

Refactor a little

5c52ede1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 12:57

Even better locations.

21ed5016 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 12:46

More location info.

fef81c25 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 10:57

Add test

5b20756d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 10:56

Implement rank-N polymorphism (probably incorrectly).

b58a207d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 10:13

Debug code.

7d7fdb28 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 10:12

Fast special tcPat case.

28c2e7dd – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 10:11

Fix bug

5c6de529 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 09:23

Make 'forall' part of Expr.

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

Allow TupleSections of pairs.

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

Get rid of 'pair'

3181efc3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 06:51

Handle (->)

c80754ec – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 06:08

Better error message for runtime pattern match failure.

dfa5b622 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 05:54

Improve location info a little.

ea363bdc – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 19:48

Simplify

2666fe42 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 19:45

More quiet

9c3ffcc5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 19:40

Fix umhs target

8e84f5f1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 19:28

Handle import lists

298bdbcb – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 19:27

Add equality test for Bool

5cf94219 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 19:04

Nuub exported fixities, otherwise they keep growing.

9b62876a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 13:51

Fix parsing bug.

05c71fc3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 13:47

Parse (but not process) import list.

6979f0df – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 13:28

Rename ExportSpec to ExportItem

0bbf3b98 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 13:25

Allow trailing , in export list

f4365f7c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 13:12

Refactor a little.

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

Fix string serialization bug.

24f6d065 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 12:58

Local type signatures allowed now.

d9ada2fa – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 12:55

Avoid quadratic concatenation by using diff lists.

347f0243 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 12:53

Add missing primop.

e09088c2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 12:52

Add functions to force evaluation, and use that for timing.

c3cd7e6b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 12:51

Use FilePath instead of String

c166cdc6 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/19 09:32

Implement local type signatures.

60b8dd2f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 20:04

Small tweaks

e9dc058f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 20:03

Use eoptional

3617e0f7 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 19:50

Make length tail recursive.

e1c8eca3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 19:35

Tweak implementation for speed

2cf8fa5c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 19:34

Nicer

434694cb – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 18:19

Reuse code for insert

314c507e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 18:15

Clean up

f3dc1117 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 18:08

Clean up Text.String

c84bc8ca – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 16:07

Get rid of junk

e6dafb6d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 15:51

Avoid <|> in favor of <|<

edbeb23f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 15:31

Add a manual test for SimpleReadline

bbfe54d2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 15:31

More Copyright

dc47672c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 15:22

Fix type checking bug. Improve locations.

66515a44 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 13:55

Add history file.

3a392abc – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 13:54

Add lines

0cb851ab – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 13:54

More functions.

bf3afc47 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 13:00

Add simple readline.

f5a28933 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 13:00

Decode \b

a00373d0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 13:00

Fix pasto

623dfe52 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 10:31

Add getraw and flush primitives.

3a8fc35e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 09:20

Implement low level equality and use it for String.

99195712 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/18 06:57

Don't run broken test

c7b5ff84 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/18 06:53

Merge branch 'master' of github.com:augustss/MicroHs

78d0e7ea – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/18 06:53

Fix bugs

bab290b3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 06:52

Less

e596c46a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 06:51

Remove item

cf68ca55 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 06:51

Small cleanup

84103c13 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 06:39

Remove String from predefined

d0fd3697 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 06:36

Move definition of () to Primitives

89e71750 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 06:23

Remove junk

b9915c0c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/18 06:05

Define some primitive types in Primitives.hs

b5c5d79b – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/17 09:41

More Makefile tweaks

121e6920 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/17 03:36

A little Makefile cleanup.

1425fe4b – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/16 21:30

Remove mark depth message

e48eabff – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/16 21:27

Tweak

ac1ee3a8 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/16 21:25

Add a file.