RSS feed
dce6fe4e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 06:18
More FFI stuff
b460f85f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 06:16
More portable code for setting raw mode.
21304a39
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 15:08
Update version.
140ee04c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 15:07
Add missing md5.c in compilation command.
f1929b46
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 15:03
Add missing file.
db7a9ad6
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 11:13
Bad writeFileFast
07ced839
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 11:07
Make safer for GC.
31866874
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 11:00
Allow longer strings in evalString.
af8dcc9a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 10:59
Add fwrite & fread
8bb3ce45
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 10:28
Fix spellos.
51393f56
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 10:23
Add missing file.
8a836cd7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 10:21
More compilation cache. It works on some simple examples.
5185d914
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 10:07
New version
7846a20f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 10:06
Better error messages in getraw().
6e9ed994
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 09:53
Note that there are no records.
519eb83e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 09:52
More cache stuff
db4b72d1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 18:20
More preparation for a compilation cache.
ad81f6dc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 13:49
Better magnitude (modulos) functions.
5a6e20ca
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 13:01
Prepare for caching compilation
a40a0673
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 12:32
Dummy MD5 for GHC
144e3e30
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 12:30
Add MD5 checksumming.
51d4b252
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 11:36
Minor tweak.
294b1dc3
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 09:29
Update
519d97a7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 19:55
Remove --X processing.
438daa9f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 19:50
Get rid of --X.
e1b4550f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 19:44
Add instantiation of parameterless context
2d0fe252
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/23 16:33
Clean up
5f773c1e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/23 16:30
Delete junk.
b0ee0e44
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/23 16:12
Edit.
4b386c6b
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/23 16:07
Small tweaks.
752043cd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 10:29
Regen
222af8fc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 10:23
Add target
15867b28
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 10:20
Prefer argument dictionaries over instances.
61023e37
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 09:36
Get rid of more --X
f2fb6f74
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 09:01
Remove more --X
4fd2c14e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 08:54
Remove --X on deriving.
216898a5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 08:53
Parse and ignore deriving.
888a3f86
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 08:45
Get rid of more --X
584e3185
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 08:34
Add comment
e46daa17
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 08:29
Get rid of all --Ximport
9fe472b8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/22 20:02
Minor tweaks.
217986cc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/22 15:26
Make it easy to use a cached Prelude.
3aa161e0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/22 15:11
Propagate fundeps
bacaee30
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/22 05:49
Parse fundeps correctly
50a3e59e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 19:50
More
a37a58b7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 19:50
Remove junk
b22f2ebf
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 19:09
More tests
3d6876dc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 19:06
Update with numbers.
8ace8b89
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 19:06
Fix types
0362bdbd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 13:55
Rename evalio to execio.
6d791430
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 12:51
Rename BK to Z
811a341a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 12:28
Regen
61d11a84
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 13:56
Dump combinators when really verbose.
4680b1d4
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 13:56
Add tag name array.
b4390daf
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 13:31
Add missing stack depth checks.
5307a307
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 13:31
Better defn processing.
725a0515
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 11:55
Make safer.
ae92dd51
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 10:08
Rename T to U (like David Turner had it).
8e277869
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 08:11
Tweaks
b74c30e9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 08:07
Monad instance for functions.
784543ab
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 07:57
Two kinds of rnf, with our without calls to error et al.
caace13b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 07:56
New handy targets
6009f507
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/19 19:54
Regen
b7d664f2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/19 19:50
Add test
d3cdee1e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/19 19:48
More type equality stuff.
b0d55ed7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/18 19:23
Start of type equality.
99e4b296
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/18 18:36
Minor tweaks.
4e1310bf
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/18 18:19
Test for existentials.
e2879fb1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/18 18:16
Make sure existentials work in more places.
fd90cd62
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/18 11:39
Support dumping and reading compilation cache.
9cafa1a6
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/18 11:05
Comments
eff1304f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 20:34
Hack rnf() so it doesn't call error functions.
02bd8474
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 20:33
Have two versions of cprint
8dc29a90
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 20:32
Better error message
518e38f6
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 20:11
Update TODO
cc468f4f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 19:52
Make simple existentials work.
e6d99ada
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/17 19:10
small tweaks
9779f4db
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/17 15:37
Make it compile
1e057448
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 13:40
Temp
444f6c1b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 12:52
Refactor.
4ac9cd5d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 12:41
Step 2 of existetial refactoring.
fb0537be
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 12:40
instance Show SLoc
aaf08a83
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 12:32
Start of refactoring for existential types.
c733f478
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 12:30
Fix errtest
c4afc529
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 12:25
More test
34eee09f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/16 14:18
Change temp file handling.
7b9158c4
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/16 07:20
Updates.
6582b4f7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/16 07:10
Handle MHSDIR better and add install target.
cf2a8290
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/16 06:34
Better interactive top level.
33e2239c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/16 06:23
Another test
57d44b59
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/16 06:22
Another test.
50e5d2a2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/15 20:13
Update
4778960e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/15 20:09
Updates
5ab30911
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/15 19:45
Update
7ba1a5a9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/15 19:42
Regen
537d007a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/15 19:39
Implement defaulting.
b0ba3d89
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/15 18:45
Update
309bf281
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/15 18:45
Make it compile.
8471698e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/14 05:54
Update
d5e77abb
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/13 15:25
Fix timeing
Next