From d6240a4b184cac1fbf61ab35f9f3813efb780d31 Mon Sep 17 00:00:00 2001
From: NanoTech
Date: Tue, 6 Dec 2016 09:10:15 +0000
Subject: Initial commit

---
 src/main.rs | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 src/main.rs

(limited to 'src/main.rs')

diff --git a/src/main.rs b/src/main.rs
new file mode 100644
index 0000000..aebbad9
--- /dev/null
+++ b/src/main.rs
@@ -0,0 +1,31 @@
+extern crate lalrpop_util;
+#[macro_use]
+extern crate nom;
+
+mod core;
+pub use core::*;
+pub mod grammar;
+mod grammar_util;
+pub mod lexer;
+pub mod parser;
+
+fn main() {
+    println!("Hello, world!");
+
+    /*
+    inText <- Data.Text.Lazy.IO.getContents
+
+    expr <- case exprFromText (Directed "(stdin)" 0 0 0 0) inText of
+        Left  err  -> Control.Exception.throwIO err
+        Right expr -> return expr
+
+    expr' <- load expr
+
+    typeExpr <- case Dhall.TypeCheck.typeOf expr' of
+        Left  err      -> Control.Exception.throwIO err
+        Right typeExpr -> return typeExpr
+    Data.Text.Lazy.IO.hPutStrLn stderr (pretty (normalize typeExpr))
+    Data.Text.Lazy.IO.hPutStrLn stderr mempty
+    Data.Text.Lazy.IO.putStrLn (pretty (normalize expr')) )
+    */
+}
-- 
cgit v1.2.3