Idris2/tests/idris2/api001/Hello.idr

mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-07 08:18:12 +03:00
main : IO ()
main = putStrLn "Hello"
Add test It takes a long time to run, but it is basically all the testing we need of the API, if this works it's unlikely to be broken. It requires a change in the build system, so don't enable it for now. 2020-06-14 21:38:50 +03:00			`main : IO ()`
			`main = putStrLn "Hello"`