blob: 639094f4bdf9d0f414f181c1a823e4b64ec5bf01 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
module Obs.Main
import Obs.Abstract
import Obs.Parser
import Obs.Syntax
import Obs.Term
import System
import Text.PrettyPrint.Prettyprinter
import Text.PrettyPrint.Prettyprinter.Render.Terminal
usage : IO ()
usage = do
() <- putStrLn "usage: obs <file>"
exitFailure
main : IO ()
main = do
[_, file] <- getArgs
| _ => usage
defs <- parseFile file
blk <- printErr $ abstractBlock defs
putDoc $ pretty blk
|
