git.iko.soy/Idris-dev
on 89ffe9b help sign in
Idris-dev/src/Test.hs
11 lines 220 B history raw
1module Test where
3import Parser
4import Core
5import Typecheck
7test = do f <- readFile "test.mi"
8 let Right defs = parseFile f
9 print defs
10 let ctxt = checkProgram [] defs
11 print ctxt