Return test033 to the original state.
commit52ea5a02258fd7c3bde0307569b1ecec4bd9703d
authorMatus Tejiscak <ziman@functor.sk>
dateTue 25 Feb 2014, 13:18 (13 years ago)
parent7408d94
test/basic007/test033.idr+1−9
@@ -1,12 +1,4 @@
11module Main
22
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−
113main : IO ()
12−main = isn "\n" >>= print
4+main = nullPtr null >>= print