From d3f005bd8ba07b9b6d73e8eba9df4b9d9167cbd6 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Sat, 17 Dec 2022 15:09:15 +0000
Subject: Create executable.

For now, this is a reformatter.
---
 src/Obs/Main.idr | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 src/Obs/Main.idr

(limited to 'src/Obs')

diff --git a/src/Obs/Main.idr b/src/Obs/Main.idr
new file mode 100644
index 0000000..0ff1d70
--- /dev/null
+++ b/src/Obs/Main.idr
@@ -0,0 +1,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)
-- 
cgit v1.2.3