Corrected many bugs, improved error reporting.

1 files changed, 6 insertions, 0 deletions

diff --git a/src/main.ml b/src/main.ml
index 1a7d5b1..ca1134a 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -2,6 +2,7 @@ open Format
 open Lexing
 
 let parse_only = ref false
+let type_only = ref false
 let dump = ref false
 let dumpt = ref false
 
@@ -26,6 +27,7 @@ let localisation2 (pos1,pos2) =
 	
 let options = [
 	"--parse-only", Arg.Set parse_only, "Stops after parsing of the input file.";
+	"--type-only", Arg.Set type_only, "Stops after typechecking of the input file.";
 	"--dump", Arg.Set dump, "Dump the AST after parsing.";
 	"--dumpt", Arg.Set dumpt, "Dump the AST after typing."
 	]
@@ -53,6 +55,10 @@ let () =
 		if not !parse_only then begin
 			let t = Typing.prog p in
 			if !dumpt then Pretty_typing.print_prog t;
+
+			if not !type_only then begin
+				()
+			end
 		end
 	with
 		| Lexer.Lexing_error s ->