diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 15:43:29 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 15:43:29 +0000 |
| commit | 232857131888607ee3cd2ae4a5ccdc14e0c6f015 (patch) | |
| tree | dd425cba1480cceedcce1c166030dd187ecc402c /src/Obs/Main.idr | |
| parent | b882d95eb08fea2341bcfa6b41aa06e060cde1ec (diff) | |
Define conversion from raw to abstract syntax.
Diffstat (limited to 'src/Obs/Main.idr')
| -rw-r--r-- | src/Obs/Main.idr | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Obs/Main.idr b/src/Obs/Main.idr index 0ff1d70..639094f 100644 --- a/src/Obs/Main.idr +++ b/src/Obs/Main.idr @@ -1,7 +1,9 @@ module Obs.Main +import Obs.Abstract import Obs.Parser import Obs.Syntax +import Obs.Term import System @@ -18,4 +20,5 @@ main = do [_, file] <- getArgs | _ => usage defs <- parseFile file - putDoc $ concatWith (\x, y => x <+> hardline <+> hardline <+> y) (map pretty defs) + blk <- printErr $ abstractBlock defs + putDoc $ pretty blk |