shithub: MicroHs

RSS feed

aa1337f3 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/16 19:50 
Use SCC for let bindings.

22433437 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/16 19:45 
Turn GCRED back on

342c8008 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/16 19:45 
A little more efficient

d1ba43e7 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/16 19:45 
Make toList returned a key sorted list

a9695acf – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/16 14:30 
Move #if around.

e66b1f33 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/16 14:06 
Make mark() a little less stack hungry.

15be3d6e – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/16 11:33 
Fix bug in freeVars

d52fbaee – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/16 11:11 
Add SCC algorithm. Still unused.

48446fc0 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/16 07:46 
Add simple IntSet.

e3ad24d4 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/15 17:09 
Update TODO

0ba89914 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/15 09:22 
Resolve fixities properly.

5d02ec08 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/15 06:03 
Parse infix.

534875dc – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/15 05:58 
Add Infix constructor.

83017c4a – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/13 18:10 
Do fixity reolution during type checking.

2e82c90c – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/11 13:43 
Add simple foreign import.

68fd1e20 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/11 10:10 
Improve portability to 32 bits with more typedefs.

14f64b33 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/09 09:41 
Fix missing Listish stuff

43967246 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/09 09:05 
Refactor error reporting.

391047b3 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/08 08:52 
Add [x..y] syntax.

609e290b – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/05 09:10 
Minor tweaks.

bfccbb68 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/05 09:10 
Add some enumerators.

a84c5e2e – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/05 08:40 
more desugaring in type checker.

6477938a – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/05 08:34 
Desugar 'do' in type checker.

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

Next