git.iko.soy/Idris-dev
on master help sign in
Return test033 to the original state.
52ea5a0Matus Tejiscak
test/basic007/test033.idr+1−9
compare with master
unifiedsplit
@@ -1,12 +1,4 @@
1module Main
1module Main
2
2
3−%flag C "-ggdb3 -O0 -Q"
4−
5−isn : String -> IO Int
6−isn s = mkForeign (FFun "isNull" [FString] FInt ) s
7−
8−prn : String -> IO ()
9−prn s = mkForeign (FFun "putStr" [FString] FUnit) s
10−
11main : IO ()
3main : IO ()
12−main = isn "\n" >>= print
4+main = nullPtr null >>= print