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/PP/devices/html-dev.sml
ViewVC logotype

Diff of /sml/trunk/src/smlnj-lib/PP/devices/html-dev.sml

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

revision 290, Sat May 22 21:01:25 1999 UTC revision 596, Wed Apr 5 14:36:19 2000 UTC
# Line 36  Line 36 
36    (* hyper-text links and anchors *)    (* hyper-text links and anchors *)
37      val link : string -> style      val link : string -> style
38      val anchor : string -> style      val anchor : string -> style
39        val linkAnchor : {name : string, href : string} -> style
40    
41      val openDev : {wid : int, textWid : int option} -> device      val openDev : {wid : int, textWid : int option} -> device
42      val done : device -> HTML.text      val done : device -> HTML.text
# Line 48  Line 49 
49        | STRONG | DFN | CODE | SAMP | KBD        | STRONG | DFN | CODE | SAMP | KBD
50        | VAR | CITE        | VAR | CITE
51        | COLOR of string        | COLOR of string
52        | LINK of string        | A of {href : string option, name : string option}
       | ANCHOR of string  
53        | STYS of style list        | STYS of style list
54    
55      datatype device = DEV of {      datatype device = DEV of {
# Line 99  Line 99 
99              | wrap (VAR, t) = HTML.VAR t              | wrap (VAR, t) = HTML.VAR t
100              | wrap (CITE, t) = HTML.CITE t              | wrap (CITE, t) = HTML.CITE t
101              | wrap (COLOR c, t) = HTML.FONT{color=SOME c, size=NONE, content=t}              | wrap (COLOR c, t) = HTML.FONT{color=SOME c, size=NONE, content=t}
102              | wrap (LINK s, t) = HTML.A{              | wrap (A{name, href}, t) = HTML.A{
103                    name = NONE, href = SOME s,                    name = name, href = href,
                   rel = NONE, rev = NONE, title = NONE,  
                   content = t  
                 }  
             | wrap (ANCHOR s, t) = HTML.A{  
                   name = SOME s, href = NONE,  
104                    rel = NONE, rev = NONE, title = NONE,                    rel = NONE, rev = NONE, title = NONE,
105                    content = t                    content = t
106                  }                  }
# Line 176  Line 171 
171      val styleVAR = VAR      val styleVAR = VAR
172      val styleCITE = CITE      val styleCITE = CITE
173      val color = COLOR      val color = COLOR
174      val link = LINK      fun link s = A{href=SOME s, name=NONE}
175      val anchor = ANCHOR      fun anchor s = A{href=NONE, name=SOME s}
176        fun linkAnchor {name, href} = A{href=SOME href, name = SOME name}
177    
178      fun openDev {wid, textWid} = DEV{      fun openDev {wid, textWid} = DEV{
179              txt = ref [],              txt = ref [],

Legend:
Removed from v.290  
changed lines
  Added in v.596

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