Commit Graph

66 Commits

Author SHA1 Message Date
Erik Svedäng
10b5ec1ef4 Can (optionally) batch rename all functions parsed from a .h file
using 'sed'.

Example:
$ carp-header-parse ~/Desktop/glfw.h -s "s/glfw/GLFW/g"
2018-02-27 13:40:40 +01:00
Erik Svedäng
01d77688ea Started working on utility for parsing C headers. 2018-02-27 09:50:20 +01:00
Erik Svedäng
0ef43e60f0 Split out two new modules: "Repl" and "StartingEnv". 2018-02-06 08:39:28 +01:00
Erik Svedäng
8d12c10f20 Moved a lot of code out of Obj.hs and into two new modules: Qualify.hs
and Lookup.hs
2018-02-01 17:52:50 +01:00
Erik Svedäng
07aec68e25 Extracted scoring of binders to its own module. 2018-02-01 17:41:29 +01:00
Erik Svedäng
2fa061cf15 Delete ManageMemory.hs 2018-02-01 17:38:01 +01:00
Erik Svedäng
c0e3c35cc2 Extracted out Expand.hs module. 2017-12-15 16:37:03 +01:00
hellerve
333fca84fb repl: added simple completion and history file 2017-10-22 23:34:06 +02:00
hellerve
d3e735824d repl: use haskeline 2017-10-19 23:36:17 +02:00
Erik Svedäng
d4fd4f1648 Moved array templates out into its own module. 2017-09-06 08:57:48 +02:00
Erik Svedäng
faf3f73faa Extracted Concretize-module. 2017-09-01 06:31:26 +02:00
Erik Svedäng
bd4abe45cf Split out AssignTypes also. 2017-08-31 16:40:56 +02:00
Erik Svedäng
5857ddec7f More splitting into modules, plus some comments. 2017-08-31 15:46:13 +02:00
Erik Svedäng
dd8b9a79b1 Split the Infer module into smaller pieces. 2017-08-31 15:25:28 +02:00
Erik Svedäng
fd8136fdf8 Enable manual. 2017-06-26 12:04:39 +02:00
Erik Svedäng
c80526cfaa REPLACE WITH HASKELL VERSION 2017-06-26 11:15:03 +02:00