From 232857131888607ee3cd2ae4a5ccdc14e0c6f015 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Sat, 17 Dec 2022 15:43:29 +0000
Subject: Define conversion from raw to abstract syntax.

---
 src/Obs/Main.idr | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/Obs/Main.idr')

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
-- 
cgit v1.2.3