shithub: MicroHs

RSS feed

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.

12c2177c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 08:12
Add missing files.

c9fd0454 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 07:41
Fix bug in failing match in 'do'.

cfe4eb05 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 06:59
Move PrintOrRun to its own module.

14444d50 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 06:47
Add test for interactive system.

603d55ac – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 06:46
Make interactive gmhs work a little again.

07d3077a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/04 06:32
Some Read instances.

a2733705 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/02/03 19:33
Update TODO

d16385eb – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 17:12
Add the oddball Numeric module.

6572a204 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 17:11
Add intToDigit

a16c884e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 17:11
Temporary Read class.

1ea602aa – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 13:49
Export Type from Compat

8a7e867f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 13:47
Remove file that is gone.

88da54f5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 13:46
Make interactive system work again.

2fd27e0e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 12:13
Add layout case that I missed initially.

0cba80b8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 12:07
Handle a few more Char literals.

5ce67d1c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 11:47
Removed commented out code.

db45a141 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 11:22
Distinguish real and synthetic { }

b21e9261 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 11:12
Add comments

c122d9ce – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 08:24
Move Alternative to Applicative module for better compatibility.

4ce38e41 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 08:14
Add isOctDigit

a8a82933 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/03 08:01
Move MonadFail to its own module.

2e57a841 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 17:23
Start of Read.

30bbf972 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 17:22
Some more functionality.

3129f49e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 17:06
Complain about missing 'main'. The got lost in the DFS change.

506c83ae – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 13:22
Even more like Report Prelude.

1e966c16 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 13:00
More import checks.

d52d68c2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 12:32
Complain when imported item is undefined.

3eec9d59 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 12:19
Make Prelude more like the report.

861e99a0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 06:44
Neater infix declarations.

bceced6e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 06:40
Add Data.ZipList

4a7a73a6 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/02/02 06:38
Align more with GHC

Next