X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/6ade8b0a3251e44b34c6bdbbd9403e36d6fd6231..1144856ba9d6018d9922c6ede7e97779a0fe6373:/parse/parse.sml

diff --git a/parse/parse.sml b/parse/parse.sml
index aa701c4..3786421 100644
--- a/parse/parse.sml
+++ b/parse/parse.sml
@@ -1,4 +1,4 @@
-(* L3 Compiler
+(* L4 Compiler
  * Parsing
  * Author: Kaustuv Chaudhuri <kaustuv+@cs.cmu.edu>
  * Modified: Frank Pfenning <fp@cs.cmu.edu>
@@ -17,10 +17,10 @@ end
 structure Parse :> PARSE =
 struct 
 
-  structure L3LrVals = L3LrValsFn (structure Token = LrParser.Token)
-  structure L3Lex = L3LexFn (structure Tokens = L3LrVals.Tokens)
-  structure L3Parse = Join (structure ParserData = L3LrVals.ParserData
-                            structure Lex = L3Lex
+  structure L4LrVals = L4LrValsFn (structure Token = LrParser.Token)
+  structure L4Lex = L4LexFn (structure Tokens = L4LrVals.Tokens)
+  structure L4Parse = Join (structure ParserData = L4LrVals.ParserData
+                            structure Lex = L4Lex
                             structure LrParser = LrParser)
 
   (* Main parsing function *)
@@ -31,9 +31,9 @@ struct
 	  val _ = ParseState.setfile filename (* start at position 0 in filename *)
 	  fun parseerror (s, p1, p2) = ErrorMsg.error (ParseState.ext (p1,p2)) s
 	  val lexer = LrParser.Stream.streamify
-			  (L3Lex.makeLexer (fn _ => TextIO.input instream))
+			  (L4Lex.makeLexer (fn _ => TextIO.input instream))
 	  (* 0 = no error correction, 15 = reasonable lookahead for correction *)
-	  val (absyn, _) = L3Parse.parse(0, lexer, parseerror, ())
+	  val (absyn, _) = L4Parse.parse(0, lexer, parseerror, ())
           val _ = if !ErrorMsg.anyErrors
 		  then raise ErrorMsg.Error
 		  else ()