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 /smlnj-lib/trunk/HTML4/html4-utils.sml
ViewVC logotype

Diff of /smlnj-lib/trunk/HTML4/html4-utils.sml

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

revision 3542, Wed Jun 23 21:14:56 2010 UTC revision 3543, Thu Jun 24 21:55:32 2010 UTC
# Line 28  Line 28 
28  fun payloadToStr (payload, []) = payload  fun payloadToStr (payload, []) = payload
29    | payloadToStr (_, attrs as (attr :: _)) = attrsToStr attrs    | payloadToStr (_, attrs as (attr :: _)) = attrsToStr attrs
30    
31    val getAttrs : tag_payload -> (Atom.atom * string option) list = #2
32    
33  (* ____________________________________________________________  (* ____________________________________________________________
34     Streams     Streams
35   *)   *)
# Line 112  Line 114 
114                              | ExitNT of Atom.atom                              | ExitNT of Atom.atom
115                              | VisitT of 'a                              | VisitT of 'a
116    
117    fun visitationToString _ (EnterNT ntAtom) =
118        "entry of " ^ (Atom.toString ntAtom) ^ " nonterminal"
119      | visitationToString _ (ExitNT ntAtom) =
120        "exit of " ^ (Atom.toString ntAtom) ^ " nonterminal"
121      | visitationToString termToString (VisitT terminal) =
122        "vistation of " ^ (termToString terminal) ^ " terminal"
123    
124    fun visitationSame _ (EnterNT ntAtom, EnterNT ntAtom') =
125        Atom.same(ntAtom, ntAtom')
126      | visitationSame _ (ExitNT ntAtom, ExitNT ntAtom') =
127        Atom.same(ntAtom, ntAtom')
128      | visitationSame termSame (VisitT term, VisitT term') =
129        termSame(term, term')
130      | visitationSame _ _ = false
131    
132  fun parsetreeToVisitationStream (node as (Nd (ntAtom, children))) =  fun parsetreeToVisitationStream (node as (Nd (ntAtom, children))) =
133      let fun tl_thunk () =      let fun tl_thunk () =
134              let val children' = map parsetreeToVisitationStream children              let val children' = map parsetreeToVisitationStream children

Legend:
Removed from v.3542  
changed lines
  Added in v.3543

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