blob: 0ff1d70cb51f646a5bac76e8b9d650df665d767c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
module Obs.Main
import Obs.Parser
import Obs.Syntax
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
putDoc $ concatWith (\x, y => x <+> hardline <+> hardline <+> y) (map pretty defs)
|
