something something tuples

[minfp.git] / builtin.icl

diff --git a/builtin.icl b/builtin.icl
deleted file mode 100644 (file)
index 33c67e6..0000000
--- a/builtin.icl
+++ /dev/null
@@ -1,13 +0,0 @@
-implementation module builtin
-
-import Data.Func
-import check
-
-builtin :: [([Char], Scheme)]
-builtin =
-       [(['_if'],  Forall [['_ift']] $ TBool --> TVar ['_ift'] --> TVar ['_ift'] --> TVar ['_ift'])
-       ,(['_eq'],  Forall [['_eq']]  $ TInt --> TInt --> TBool)
-       ,(['_mul'], Forall [['_mul']] $ TInt --> TInt --> TInt)
-       ,(['_add'], Forall [['_add']] $ TInt --> TInt --> TInt)
-       ,(['_sub'], Forall [['_sub']] $ TInt --> TInt --> TInt)
-       ]