Commits

Anonymous committed 1a5ad8b

Fixed function type in SimpleFunction

Comments (0)

Files changed (1)

Examples/SimpleFunction.agda

 ... | _ = trustMe
 
 Double : Type
-Double  = floating (conv w32 32) ieee
+Double  = floating (conv w32 64) ieee
   where 
     open AST
 
     open AST hiding (Double)
     parName = strName "a"
     ref = localReference parName 
-    tmpName = unName $ conv word 2
+    tmpName = unName $ conv word 1
     insts = (tmpName ≔ fadd ref ref [] ) ∷ []
     term = do (ret (just (localReference tmpName)) [])
     b = block (unName (conv word 1)) (Data.Colist.fromList insts) term