Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/parse/parse.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/parse/parse.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 303, Sun May 30 10:23:20 1999 UTC revision 309, Wed Jun 2 03:21:57 1999 UTC
# Line 18  Line 18 
18      structure S = GenericVC.Source      structure S = GenericVC.Source
19      structure EM = GenericVC.ErrorMsg      structure EM = GenericVC.ErrorMsg
20      structure SM = GenericVC.SourceMap      structure SM = GenericVC.SourceMap
     structure P = GenericVC.Control.Print  
21    
22      structure CMLrVals = CMLrValsFun (structure Token = LrParser.Token)      structure CMLrVals = CMLrValsFun (structure Token = LrParser.Token)
23      structure CMLex = CMLexFun (structure Tokens = CMLrVals.Tokens)      structure CMLex = CMLexFun (structure Tokens = CMLrVals.Tokens)
# Line 30  Line 29 
29      fun parse param group = let      fun parse param group = let
30    
31          val groupreg = GroupReg.new ()          val groupreg = GroupReg.new ()
32          val ginfo = { param = param, groupreg = groupreg }          val errcons = EM.defaultConsumer ()
33            val ginfo = { param = param, groupreg = groupreg, errcons = errcons }
34    
35          (* The "group cache" -- we store "group options";  having          (* The "group cache" -- we store "group options";  having
36           * NONE registered for a group means that a previous attempt           * NONE registered for a group means that a previous attempt
# Line 83  Line 83 
83                  val filename = AbsPath.name group                  val filename = AbsPath.name group
84                  val _ = Say.vsay (concat ["[scanning ", filename, "]\n"])                  val _ = Say.vsay (concat ["[scanning ", filename, "]\n"])
85                  val stream = TextIO.openIn filename                  val stream = TextIO.openIn filename
                 val errcons = { linewidth = !P.linewidth,  
                                 flush = P.flush,  
                                 consumer = P.say }  
86                  val source = S.newSource (filename, 1, stream, false, errcons)                  val source = S.newSource (filename, 1, stream, false, errcons)
87                  val sourceMap = #sourceMap source                  val sourceMap = #sourceMap source
88                  val _ = GroupReg.register groupreg (group, source)                  val _ = GroupReg.register groupreg (group, source)

Legend:
Removed from v.303  
changed lines
  Added in v.309

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0