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