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/smlnj-lib/HTML/html-elements-fn.sml
ViewVC logotype

Diff of /sml/trunk/src/smlnj-lib/HTML/html-elements-fn.sml

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

revision 2, Sat Oct 4 23:33:09 1997 UTC revision 9, Sun Jan 18 01:01:29 1998 UTC
# Line 215  Line 215 
215                    (* end case *)                    (* end case *)
216                  end                  end
217            in            in
 TextIO.print "scanStartTag\n";  
218              scanAttrs(rest, [])              scanAttrs(rest, [])
219            end            end
220    
# Line 224  Line 223 
223            val tag' = SS.triml 1 (SS.trimr 1 (SS.all tag))            val tag' = SS.triml 1 (SS.trimr 1 (SS.all tag))
224            val (name, attrs) = scanStartTag (ctx, tag')            val (name, attrs) = scanStartTag (ctx, tag')
225            in            in
 TextIO.print(concat["startTag: ", SS.string name, "\n"]);  
226              case (find name, attrs)              case (find name, attrs)
227               of (NONE, _) => (Err.badStartTag ctx (SS.string name); NONE)               of (NONE, _) => (Err.badStartTag ctx (SS.string name); NONE)
228                | (SOME{startT=WOAttrs _, ...}, _::_) => (                | (SOME{startT=WOAttrs _, ...}, _::_) => (
# Line 232  Line 230 
230                | (SOME{startT=WOAttrs tag, ...}, []) =>                | (SOME{startT=WOAttrs tag, ...}, []) =>
231                    SOME(tag (p1, p2))                    SOME(tag (p1, p2))
232                | (SOME{startT=WAttrs tag, ...}, attrs) =>                | (SOME{startT=WAttrs tag, ...}, attrs) =>
 (TextIO.print "  with attributes\n";  
233                    SOME(tag (attrs, p1, p2))                    SOME(tag (attrs, p1, p2))
 )  
234              (* end case *)              (* end case *)
235            end            end
236    
# Line 242  Line 238 
238            val ctx = {file=file, line=p1}            val ctx = {file=file, line=p1}
239            val name = SS.triml 2 (SS.trimr 1 (SS.all tag))            val name = SS.triml 2 (SS.trimr 1 (SS.all tag))
240            in            in
 TextIO.print(concat["endTag: ", SS.string name, "\n"]);  
241              case (find name)              case (find name)
242               of NONE => (Err.badEndTag ctx (SS.string name); NONE)               of NONE => (Err.badEndTag ctx (SS.string name); NONE)
243                | (SOME{endT=Empty, ...}) => (Err.badEndTag ctx (SS.string name); NONE)                | (SOME{endT=Empty, ...}) => (Err.badEndTag ctx (SS.string name); NONE)

Legend:
Removed from v.2  
changed lines
  Added in v.9

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