builtin.icl

   1 implementation module builtin
   2
   3 import Data.Func
   4 import check
   5
   6 builtin :: [([Char], Scheme)]
   7 builtin =
   8         [(['_if'],  Forall [['_ift']] $ TBool --> TVar ['_ift'] --> TVar ['_ift'] --> TVar ['_ift'])
   9         ,(['_eq'],  Forall [['_eq']]  $ TInt --> TInt --> TBool)
  10         ,(['_mul'], Forall [['_mul']] $ TInt --> TInt --> TInt)
  11         ,(['_add'], Forall [['_add']] $ TInt --> TInt --> TInt)
  12         ,(['_sub'], Forall [['_sub']] $ TInt --> TInt --> TInt)
  13         ]