shithub: MicroHs

RSS feed

cafc6732 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/20 06:52 
Allow command line argument to be a file name instead of a module name.

17ff8ae7 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/20 06:32 
Move mhsdir into Flags.

30593a66 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/20 05:31 
Rename workflow file

2f8a67f9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/19 16:32 
Add BangPatterns

7138be19 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/19 16:25 
Use ! in a few carefully selected places.

f7c8747b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/19 13:16 
Parse, and mostly ignore, ~ and ! in patterns.

539ee6de – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/19 12:23 
Get rid of TSelect token. Use TSpec instead.

4982f703 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/19 12:17 
Prepare for ~ and ! in patterns.

47d9db50 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/19 09:36 
Use string gap

eb3069a1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/19 09:35 
Handle string gaps.

a535b887 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/18 14:15 
Update README

685b2a19 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/02/18 08:47 
Small efficiency tweak.

4c56f8b1 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/02/18 08:46 
Small efficiency tweak

e126f4d9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/18 06:46 
Alpha convert

d4b84c17 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/17 18:47 
Add everything needed for OverloadedStrings.

ea15fd2a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/17 12:15 
Add Data.String

35ff6ea8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/17 09:22 
Add Pretty class.

9ddedca6 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/17 07:30 
Change symbol table implementation.

12bd6f95 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/16 09:56 
Decode control character codes in Char/String literals.

8f7a66fb – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/16 09:48 
Fix bug with negative literals in patterns.

9dda8f76 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/16 08:48 
Change how argument handling works.

93fbba84 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/16 04:33 
Allow empty export list

7939c024 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 14:05 
Add :kind command.

fc65e90b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 13:50 
Add :type command

a8f8fd8c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 13:47 
Add commented out Show instance

8deeb4ac – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 13:46 
Add a Show instance

e8cdf93f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 13:45 
Generate Sign for inferred types.

47f7d6e4 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 13:01 
Refactor a little.

48a7f2c7 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 11:13 
Fix bug in intersectBy

d7ca6737 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 10:08 
Update for type inference

daa225f7 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 10:04 
Run Infer test

8693a069 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 10:03 
Remove some junk

e3c1cb70 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 10:02 
Infer top level types.

145bf594 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 09:58 
Add isNothing

d080a795 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 09:48 
Add some more functions

8c59b129 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 09:48 
Temporary comment

745d51de – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/15 09:47 
Change scc to use Ord

c4bc15be – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 14:12 
Fix complaint

9b670ad5 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/02/14 10:09 
Minor tweaks

03f5619e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 14:09 
Update extensions and version

ddfd7cbc – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 13:58 
Move unsafeInterleaveIO

f7409aa5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 13:58 
Add listToMaybe

6ad50732 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 13:58 
Fixity for =<<

61976598 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 13:36 
Add break

e93531c5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 13:35 
Add mkTextEncoding

53362c02 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 13:35 
Add doesFileExist

43515515 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 13:35 
Add onException

52088bbf – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 13:35 
Add unsafePerformIO

d546dc31 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 13:14 
Add RealFrac

30525339 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 12:57 
Add missing files

2ab39f5e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 10:32 
Do implicit import of Prelude, as prescribed.

1601a790 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 10:30 
More memory for tests

b9fe0f80 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 09:48 
Allow (but ignore) explicit import/export list on types/classes.

405cddb4 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 09:47 
Allow extra ';' in blocks

01437fad – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/10 07:25 
Minor lex/parse changes

d63cc260 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/09 19:58 
Implement the 'insert } on parse error' rule.

6be27286 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/09 14:50 
Change to a functional encoding.

a61784c0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/09 10:39 
Use a state machine for layout.

bd528026 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/09 09:30 
Make parse use a stateful token machine for the next token.

066d714b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/09 09:07 
Don't evaluate strings before saving cache.

ea2a7891 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/08 19:33 
Do not require 'forall' anymore. Quantification is now implicit for types.

5beab480 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/08 19:24 
Handle more cases

763763f3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/08 19:24 
Cleanup

9ebdd828 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/08 19:23 
Add function to get local keys

014948ff – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/08 19:22 
Move some definitions.

8736599e – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/02/08 15:45 
Update MicroHs.cabal

b5757e22 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/02/08 15:40 
Update MicroHs.cabal

6deb7698 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/08 14:04 
Generate old-fashioned field selectors.

fe98ed66 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/08 13:57 
Avoid name clashes

c9321a91 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/08 13:56 
Don't export IORef representation.

4e159c62 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/08 10:48 
Generate separate selector functions for records.

32a97fd5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/08 10:13 
Split HasField into HasField (for getField) and SetField (for setField).

539ad165 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/08 10:12 
Fix a bug in instance selection.

3eab2cd2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/08 07:05 
Refactor error reporting a little.

07b07805 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/02/08 05:54 
Merge pull request #36 from jmaessen/missing-id-ExpPrint

966103e5 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/02/08 05:53 
Merge pull request #35 from jmaessen/more-ubsan

481e75c4 – Jan-Willem Maessen <jmaessen@fb.com> authored on 2024/02/07 17:05 
Don't turn missing identifiers into indirection loops in ExpPrint

8f72f4d6 – Jan-Willem Maessen <jmaessen@fb.com> authored on 2024/02/07 16:41 
More ubsan fixes

ad5b5061 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/06 17:33 
Clean up some junk.

9604d31a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/06 17:19 
Fix a substitution bug!

6cf4c416 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/06 13:26 
More tests

b7c1f531 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/06 12:21 
New list comprehension desugaring.

11b52f88 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/02/05 20:46 
Update TODO

f529ba31 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/02/05 20:44 
Update README.md

5e426997 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 16:22 
Make it compile again.

f292a26d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 16:20 
Roundtrip in & nan via Rational

faf4d16a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 16:20 
Nicer inf & nan

4f9c037b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 16:20 
Cosmetic

6eb68e5c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 16:11 
Change test

17d673ba – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:57 
Add missing file.

68ad75d9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:55 
More Read tests.

86275df6 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:50 
Fix Show Char quotation bug.

3ba552fd – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:41 
Test Read

d4d8306d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:39 
Even more Read

977b9590 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:28 
More Read

25faeffb – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 15:20 
More Read

392a92e3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 14:54 
More Read

4b775410 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/05 08:00 
Redo Read a bit.

655c36aa – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 19:28 
Change to use list comprehensions in Read. Add readList.

54c1737c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 15:38 
Move concatMap.

Next