RSS feed
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
5ceabfe2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/02/02 06:08
Don't GC in deserialization; parse() does that now.
7e4beb4c
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2024/02/02 06:03
Merge pull request #30 from jmaessen/no-parse-crash
3b96876c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/02/01 09:53
Even more tests turned on.
1d4e3f13
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/02/01 09:45
Align tests on different platforms.
12489d7f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/02/01 09:36
Try with more tests
a5f46e11
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/02/01 09:23
Minor cleanups
7400f507
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/02/01 08:58
Silence a warning.
864e2ee5
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2024/02/01 07:35
Merge pull request #34 from jmaessen/gc-pointer-stack
f9dcbeba
– Jan-Willem Maessen <jmaessen@fb.com>
authored
on 2024/01/30 17:15
Remove indirections
9a1bca55
– Jan-Willem Maessen <jmaessen@fb.com>
authored
on 2024/01/31 05:27
Use pointer stack for GC
48d806f9
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2024/01/31 05:28
Merge pull request #33 from jmaessen/remove-indirs
15a4c1e0
– Jan-Willem Maessen <jmaessen@fb.com>
authored
on 2024/01/30 17:15
Remove indirections
e58eace5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/01/30 06:52
Remove wrong comments.
be88c32e
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2024/01/30 06:49
Merge pull request #32 from jmaessen/asan-ubsan
a753d47a
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2024/01/28 18:59
Merge pull request #31 from jmaessen/time_timecachecompile
f8a541c3
– Jan-Willem Maessen <jmaessen@fb.com>
authored
on 2024/01/28 17:24
Fix asan and ubsan violations, one of which was causing periodic
e9db912a
– Jan-Willem Maessen <jmaessen@fb.com>
authored
on 2024/01/28 10:19
GC check during parse so we don't crash.
aec61b31
– Jan-Willem Maessen <jmaessen@fb.com>
authored
on 2024/01/28 10:12
use time to get end-to-end timecachecompile timing
3a4d34e2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/01/23 05:36
Allow some Unicode syntax.
35ed3c00
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/01/22 15:14
Fix another pasto
1a7ea9fe
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/01/22 15:13
Make neater.
dc6404d0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2024/01/22 15:13
Fix pasto.
Next