git.iko.soy/Idris-dev
on master help sign in
Fixed believe_me compilation bug
commit919600bbc0d0f7dd57b1ad9fc360426fdbd98d2c authorEdwin Brady <ecb10@st-andrews.ac.uk> dateMon 22 Oct 2012, 01:44 (14 years ago) parent72c0156
2 files changed+2−2
compare with master
unifiedsplit
src/IRTS/CodegenC.hs+1−1 src/Idris/Primitives.hs+1−1
src/IRTS/CodegenC.hs+1−1
@@ -246,5 +246,5 @@ doOp v LStdErr [] = v ++ "MKPTR(vm, stderr)"
246246
247247doOp v LFork [x] = v ++ "MKPTR(vm, vmThread(vm, " ++ cname (MN 0 "EVAL") ++ ", " ++ creg x ++ "))"
248248doOp v LVMPtr [] = v ++ "MKPTR(vm, vm)"
249−doOp v LNoOp [x] = ""
249+doOp v LNoOp args = ""
250250doOp _ _ _ = "FAIL"
src/Idris/Primitives.hs+1−1
@@ -169,7 +169,7 @@ primitives =
169169 Prim (UN "prim__stdin") (ty [] PtrType) 0 (p_cantreduce)
170170 (0, LStdIn) partial,
171171 Prim (UN "prim__believe_me") believeTy 3 (p_believeMe)
172− (1, LNoOp) total -- ahem
172+ (3, LNoOp) total -- ahem
173173 ]
174174
175175p_believeMe [_,_,x] = Just x