summaryrefslogtreecommitdiff
path: root/src/main.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/main.rs')
-rw-r--r--src/main.rs31
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')) )
+ */
+}