Initial commit

1 files changed, 31 insertions, 0 deletions

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')) )
+    */
+}