shithub: MicroHs

Info  •  Files  •  Log  •  Branches

8ac1a80e – Rewbert <krookr@chalmers.se> authored on 2023/09/20 12:33

make printed doubles look nicer

46273f68 – Rewbert <krookr@chalmers.se> authored on 2023/09/20 11:28

fix bug

00c36038 – Rewbert <krookr@chalmers.se> authored on 2023/09/20 10:12

add src on 24 char length for doubles

0318f829 – Rewbert <krookr@chalmers.se> authored on 2023/09/20 10:08

i broke it, the evaluator reaches ERR valio tag 17

a1ecc5c8 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/04 11:24

Better bin/cmhs target.

cec5cbda – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/04 09:55

Make cabal work.

8a445aca – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/04 06:58

Better cmhs build

cd9f6667 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/03 15:36

More stats.

70be2880 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/03 15:29

Update TODO

954613b6 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/03 15:23

Formatting

e5d8d3b6 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/03 15:12

Make kind signatures work.

b5eab6d7 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/03 14:46

Do kind checking.

1deadc82 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/03 14:07

Move kType.

87ef40ca – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/02 12:03

Kind signatures. Not yet checked.

4e569325 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/02 11:11

Add :: in expressions.

c7669790 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/02 10:50

More

e3728dc8 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 15:27

Edit

91ae7425 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 14:19

More locations

71f73ada – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 14:13

More locations in errors.

45e53d3e – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 14:04

Locations for unification errors.

751dbbda – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 13:34

Make literals have a location

65c23aff – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 13:08

Add $IO.dropArgs to allow -r to work with arguments.

b6ad2fab – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 12:35

Better error messages.

b588d78b – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 12:27

Better parse error messages.

d995cd0c – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 12:26

Make it compile with mhs

d93dc040 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 11:54

Use correct file name.

ef3d5eb2 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 11:40

Move files around.

cbb70cfa – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 11:34

Create tmp

00c90a09 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 11:29

Fewer stages

4e311bd4 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/01 11:22

Add a bootstrap target.

07949a1e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/01 09:58

Reword

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

Better parse error message.

01aa0570 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/31 07:10

Show heap sizer in bytes.

a7ffbbc1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/31 07:05

Stylistic changes

aa2fa989 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/31 06:59

Refactor Ident to its own module.

52fd5c4a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/31 06:30

Location information in every identifier.

41eca634 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/30 11:00

Avoid direct use of Ident constructor.

7a26d7dd – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/30 08:49

Change StringMap to IdentMap

9209004f – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/30 07:48

Add more docs.

b32d219f – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/30 07:42

Make Ident a newtype.

f418323a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/30 06:30

Temp

3c4dcd04 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/29 07:05

Minor fixes

8813aa5b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/29 06:57

More docs.

b2a737ed – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/29 06:50

More docs.

97d23fbe – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/29 06:46

More documentation.

50442dd3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/29 06:45

Add WIP

0fb3336e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/28 16:06

Add Word primitive type.

bcec20e0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/28 14:50

Add B'

0fa45340 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/28 14:49

Make it compile.

7f905947 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/28 14:45

Make it possible to make standalone binaries.

d358ecc4 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/28 10:25

Read entire combinator file into a buffer.

f17ad7da – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/28 08:48

Rename parser.

f1ff3c64 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/28 08:45

Minor fixes.

e66e86d4 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/28 08:30

Use Loc type instead of Line+Col

1156777a – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/28 08:13

Add 'seq'

e160e153 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/28 07:45

Simplify Loc handling.

917a367d – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/27 21:04

New lexer. Substantially faster.

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

Make parser error contain last token.

f4695cf8 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/27 09:33

Fix some bugs.

fd535c17 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/27 07:48

Refactor Expr type out of Parse.

572ded95 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/27 07:38

Make it compile.

f4e4a0da – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/26 21:11

Start of proper lexical analysis.

69c0d65f – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/26 08:46

Make hGetContents lazy. Stylistic changes to IO.hs

f5b1f536 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/26 08:25

Add FilePath.

91d5c871 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/08/26 08:20

Make parsing library polymorphic in token type.

8c1adcb3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/25 09:53

Done

1b53d530 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/25 09:37

Don't push top node in eval.

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

Formatting

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

More macros

24509ee8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/25 08:02

Make evaluator look neater.

2ae86357 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 16:51

Clean up

e128a492 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 16:48

Get reduction countint right.

10222694 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 16:42

Implement INTTABLE

95a9b1ab – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 16:04

Implement newtype and matching on literals

81b198be – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 14:24

Allow (,)

cfcf05fe – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 14:23

Make it a little nicer.

0b49c736 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 13:20

Neater defns.

8b782963 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 13:20

Special case for 'otherwise' in desugaring.

b5fb30c4 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 13:13

Move 'otherwise' to Data.Bool

cfc63c45 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 13:12

Nicer defns.

ebd795bc – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 12:59

Ignore more

8089d9b9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 10:06

Version change.

98bc6360 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 09:55

Add BK combinator.

b2ddf452 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 09:30

Neater definitions.

9570961f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 09:28

Neater definitions

982328b8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 09:22

Better splitting in splitArms

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

Add test

23c4e98f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 08:43

New type parser.

6df47fd3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/24 08:43

Neater definitions.

40e35fd3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/23 16:32

Add 'where' clauses

dd3e0fc5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/23 15:20

Desugar guards.

6090a002 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/23 15:19

Add 'otherwise'

27047b23 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/08/23 15:19

More standard functions

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.