summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.ghci1
-rw-r--r--.gitignore2
2 files changed, 3 insertions, 0 deletions
diff --git a/.ghci b/.ghci
new file mode 100644
index 0000000..4467582
--- /dev/null
+++ b/.ghci
@@ -0,0 +1 @@
+:set -Wall -fobject-code
diff --git a/.gitignore b/.gitignore
index 754e930..cd57d17 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,4 @@
/.graveyard
/state
+*.hi
+*.o