git.iko.soy/Idris-dev
on master help sign in
Fixed believe_me compilation bug
919600bEdwin Brady
src/IRTS/CodegenC.hs+1−1
compare with master
unifiedsplit
@@ -246,5 +246,5 @@ doOp v LStdErr [] = v ++ "MKPTR(vm, stderr)"
246
246
247doOp v LFork [x] = v ++ "MKPTR(vm, vmThread(vm, " ++ cname (MN 0 "EVAL") ++ ", " ++ creg x ++ "))"
247doOp v LFork [x] = v ++ "MKPTR(vm, vmThread(vm, " ++ cname (MN 0 "EVAL") ++ ", " ++ creg x ++ "))"
248doOp v LVMPtr [] = v ++ "MKPTR(vm, vm)"
248doOp v LVMPtr [] = v ++ "MKPTR(vm, vm)"
249−doOp v LNoOp [x] = ""
249+doOp v LNoOp args = ""
250doOp _ _ _ = "FAIL"
250doOp _ _ _ = "FAIL"
src/Idris/Primitives.hs+1−1
@@ -169,7 +169,7 @@ primitives =
169 Prim (UN "prim__stdin") (ty [] PtrType) 0 (p_cantreduce)
169 Prim (UN "prim__stdin") (ty [] PtrType) 0 (p_cantreduce)
170 (0, LStdIn) partial,
170 (0, LStdIn) partial,
171 Prim (UN "prim__believe_me") believeTy 3 (p_believeMe)
171 Prim (UN "prim__believe_me") believeTy 3 (p_believeMe)
172− (1, LNoOp) total -- ahem
172+ (3, LNoOp) total -- ahem
173 ]
173 ]
174
174
175p_believeMe [_,_,x] = Just x
175p_believeMe [_,_,x] = Just x