RSS feed
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
2dcf17e0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/13 15:21
Windows fixes.
c914f961
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/13 15:18
More windows fixes.
8805075d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/13 15:14
Update for windows.ZZ
a29aeb7b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/13 09:55
Mingsw fixes
b86cea51
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/13 09:54
Fixes.
ddaf33c9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/13 09:00
More Makefile changes
fc9b604a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/13 08:34
Add bootstrap target.
b047dd65
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/13 08:28
Don't double close.
7ee99c3f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/13 08:28
Make linker happy
b60e10b8
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/13 08:27
Better types.
e0acb236
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/13 08:27
instance Show Handle
38c2b0e6
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/13 07:37
Update cabal
14fa45df
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/13 07:32
Start of new Makefile
1ddb87f5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/13 07:08
Clean up Compat
ef4040b6
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/13 05:10
Simplify Makefile
581ac0fd
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/12 17:11
Make stats work again
55986eeb
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/12 17:07
Remove junk file.
287a43bd
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/12 16:58
Do some cleanup.
9add7e7e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/12 16:38
Redo IO to use FFI.
820150b3
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/10 17:15
Some things are done
93deb85d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/10 17:13
Make mhs produce a binary, using cc.
3c05ccfe
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/10 16:54
Add some more file handling.
f46aa044
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/10 12:42
Change how missing FFI functions are reported.
9fc3bc67
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/10 12:28
Simplify conversion a little.
f60c2bb7
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/09 11:54
Make CTL-D behave like I want.
1952ac81
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/09 11:44
More FFI
07f58958
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 16:48
Add system.
9178d61c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 16:22
Add some string marshaling.
d87fa9fc
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 12:21
Change how combinator file is generated.
2aa587b5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 11:38
Use more primCompare
c68f7b44
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 11:31
Small speedup with strict constructors.
bf23440e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 11:21
Implement strict constructors
0b5ebea7
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 11:01
Fix sqrt
c51da445
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 10:58
Fix export bug
251933cc
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 10:40
Fix error reporting.
d6d8c104
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 10:23
Show error message on :reload
c529cdad
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 10:05
More to do
4abfb3cc
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 10:05
Adapt to parser bug
38ee67a8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 10:03
Parse infix constructor in data
018765cd
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 10:03
Add fneg
a898f871
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 09:40
More to do.
1b2656b4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/08 09:40
More tests.
501f8e3a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 13:53
Add Complex
a4aef3c8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 13:07
Better error message
eae20570
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 12:50
Change 'import' to 'loaded' in a message
5773add4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 12:46
Add FNEG primitive.
de1a985c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 12:39
Add RealFloat class.
f63e6ed9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:46
Make permanent INT nodes for all byte values.
14be7bff
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:43
Better debug
2cf3c41c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:42
Add helper class for interactive top level
dc5dfd7a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:42
Add IO.print
98c21bca
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:41
More Show instances
8ee8533b
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:41
Add traceM
99f85b63
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 11:03
Use a type class to get locations.
b27f4ee2
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 10:34
Merge branch 'class-ovl'
9d32c487
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/05 10:34
Merge branch 'master' of github.com:augustss/MicroHs
22dc6883
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 18:12
Allow hex literals
33ca3517
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 17:50
Bit fiddling operations
294d5d96
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 17:12
Portable definitions for Bounded.
61eb00e9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 14:44
Make it compile.
241e15cc
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 14:37
Make floating point literals overloaded.
988bc524
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 15:23
Add string to Rational conversion.
cf3bf3b4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 15:23
Add missing entries
7e4b932d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 09:50
More
276da34f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/04 09:48
Implement dynamic FFI lookup
Next