RSS feed
c2f9686b
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/25 10:14
double division
52b1309a
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/25 10:02
fix Lennarts comments
3a29356d
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/25 09:15
merge
0c7e35d8
– Robert Krook <rewbert93@gmail.com>
authored
and GitHub <noreply@github.com>
committed
on 2023/09/25 09:11
Merge pull request #2 from Rewbert/current-merge
44a043da
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/25 09:09
now the support I added for doubles work again, time to rebase again
25a4ef8b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/24 08:16
Temp
8d675f3c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/23 16:16
A simple implementation of arbitrary sized integers.
2216858c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/23 16:16
Add init.
e8f8e6e1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 16:48
Add comment explaining why rank-2 types are broken.
4a0b0de0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 12:17
Better command decoder
d0807e07
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 12:16
Better leString
d6b4582c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 12:16
Add words
dde9ba04
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 12:15
Add isSpace
eeac1a81
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/22 11:08
two broken tests right now
79340a0f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 09:39
Small fixes.
12bac3e8
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 09:39
Hack to force error messages.
231d9ec8
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 09:38
Make :clear empty the cache
718921b7
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/22 09:37
Merge branch 'augustss-master'
beb1d90b
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/22 09:22
removed Main.hs
2ff4d2eb
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 08:53
Split out Ordering type.
042f4d6e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 08:53
Make primCompare return Ordering
fe190585
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 08:06
Typo.
80e8fc32
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 07:55
More docs
100938e8
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 07:43
More docs
b62ae993
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 07:31
Make it work with cabal
b29c281f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 07:25
Improve and document compilation process.
0b9fc139
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 07:12
Use rnf.
85934531
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 06:55
Add 'rnf' primitive.
44686596
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/22 06:55
Add 'rnf' primitive.
747b9bb1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 20:40
Formatting.
1498067e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 20:40
Print anything (not a good idea).
0589439c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 20:19
Make it compile with cabal.
b35ddc07
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 20:09
Done
91863720
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 20:08
Switch to Adams trees for the IdentMap
0e13031e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 20:07
More possible combinators
78d7951d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 20:07
Add primCompare, returning -1,0,1
8b4713bd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 20:06
Add ^K
47235546
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 20:05
Improve statistics tool.
1f897883
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 20:05
Add Data.Ord
b1d42d48
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 15:02
Some statistics helpers
0a75bcd5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 15:01
Add a compare primtive. Should probably be changed.
db36f393
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 11:00
Typo.
844cdf46
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 10:58
Caveat emptor
40aead35
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 10:12
Small improvements.
c6a6f859
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 08:51
Use catch in Interactive.hs
8ca938fd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 08:36
Implement catch.
de8a34be
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/21 08:36
Add fmap to IO
69e16fa4
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 20:33
Minor fixes.
b4e1e10b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 20:33
Fix eval bug.
d018337c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 20:27
Expand short String patterns.
cb44db66
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 20:23
Fix bug in pattern match compilation.
5f9f3781
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/20 18:10
disclaimer on the showDouble func
c99286fb
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/20 18:10
add test case for doubles
75f35221
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 16:43
Various changes for an interactive version.
a8308e68
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 13:11
Refactor a little
5c52ede1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 12:57
Even better locations.
21ed5016
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 12:46
More location info.
8ac1a80e
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/20 12:33
make printed doubles look nicer
46273f68
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/20 11:28
fix bug
fef81c25
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 10:57
Add test
5b20756d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 10:56
Implement rank-N polymorphism (probably incorrectly).
b58a207d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 10:13
Debug code.
00c36038
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/20 10:12
add src on 24 char length for doubles
7d7fdb28
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 10:12
Fast special tcPat case.
28c2e7dd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 10:11
Fix bug
0318f829
– Rewbert <krookr@chalmers.se>
authored
on 2023/09/20 10:08
i broke it, the evaluator reaches ERR valio tag 17
5c6de529
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 09:23
Make 'forall' part of Expr.
d424eefd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 07:27
Allow TupleSections of pairs.
dd6d15f6
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 07:19
Get rid of 'pair'
3181efc3
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 06:51
Handle (->)
c80754ec
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 06:08
Better error message for runtime pattern match failure.
dfa5b622
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/20 05:54
Improve location info a little.
ea363bdc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 19:48
Simplify
2666fe42
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 19:45
More quiet
9c3ffcc5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 19:40
Fix umhs target
8e84f5f1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 19:28
Handle import lists
298bdbcb
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 19:27
Add equality test for Bool
5cf94219
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 19:04
Nuub exported fixities, otherwise they keep growing.
9b62876a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 13:51
Fix parsing bug.
05c71fc3
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 13:47
Parse (but not process) import list.
6979f0df
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 13:28
Rename ExportSpec to ExportItem
0bbf3b98
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 13:25
Allow trailing , in export list
f4365f7c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 13:12
Refactor a little.
f5cacb94
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 13:07
Fix string serialization bug.
24f6d065
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 12:58
Local type signatures allowed now.
d9ada2fa
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 12:55
Avoid quadratic concatenation by using diff lists.
347f0243
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 12:53
Add missing primop.
e09088c2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 12:52
Add functions to force evaluation, and use that for timing.
c3cd7e6b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 12:51
Use FilePath instead of String
c166cdc6
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/19 09:32
Implement local type signatures.
60b8dd2f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/18 20:04
Small tweaks
e9dc058f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/18 20:03
Use eoptional
3617e0f7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/18 19:50
Make length tail recursive.
e1c8eca3
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/18 19:35
Tweak implementation for speed
2cf8fa5c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/18 19:34
Nicer
434694cb
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/18 18:19
Reuse code for insert
314c507e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/18 18:15
Clean up
f3dc1117
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/18 18:08
Clean up Text.String
c84bc8ca
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/18 16:07
Get rid of junk
e6dafb6d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/09/18 15:51
Avoid <|> in favor of <|<
Next