SCM Repository

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

[smlnj] / sml / trunk / src / cm / parse / parse.sml

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

-revision 312, Wed Jun  2 23:20:17 1999 UTC
+revision 313, Thu Jun  3 09:26:34 1999 UTC
 Line 187
                      end
                      (* handling line breaks *)
                      fun newline pos = SM.newline sourceMap pos
+                     (* handling #line directives *)
+                     fun sync (p, t) = let
+                         fun sep c = c = #"#" orelse Char.isSpace c
+                         fun cvt s = getOpt (Int.fromString s, 0)
+                         fun r (line, col, file) = SM.resynch sourceMap
+                             (p, { fileName = file, line = line, column = col })
+                     in
+                         case String.tokens sep t of
+                             [_, line] =>
+                                 r (cvt line, NONE, NONE)
+                           | [_, line, file] =>
+                                 r (cvt line, NONE, SOME file)
+                           | [_, line, col, file] =>
+                                 r (cvt line, SOME (cvt col), SOME file)
+                           | _ => error (p, p + size t)
+                                 "illegal #line directive"
+                     end
                  in
                      { enterC = enterC,
                        leaveC = leaveC,
-Line 197
+Line 214
                        getS = getS,
                        handleEof = handleEof,
                        newline = newline,
-                       error = error }
+                       error = error,
+                       sync = sync}
                  end
                  fun inputc k = TextIO.input stream

 Legend:



Removed from v.312
 


changed lines


 
Added in v.313
 Legend:



Removed from v.312
 


changed lines


 
Added in v.313
-Removed from v.312
+Added in v.313

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