git.iko.soy/Idris-dev
on 5700147 help sign in
Idris-dev/test/tutorial007/tutorial007.idr
11 lines 317 B history raw
1module Main
2import Providers
3%language TypeProviders
4%provide (szSizeT : NativeTypeSize) with getSizeOfSizeT
6main : IO ()
7main = do
8 expected <- readFile "sizefromc.txt"
9 putStrLn $ if show szSizeT == expected
10 then "Pass"
11 else "Fail: \"" ++ show szSizeT ++ "\" /= \"" ++ expected ++ "\""