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)