readme

[minfp.git] / builtin.icl

diff --git a/builtin.icl b/builtin.icl
new file mode 100644 (file)
index 0000000..33c67e6
--- /dev/null
+++ b/builtin.icl
@@ -0,0 +1,13 @@
+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)
+       ]