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-gram
ViewVC logotype

Diff of /sml/trunk/src/smlnj-lib/HTML/html-gram

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

revision 7, Sun Jan 18 00:59:30 1998 UTC revision 8, Sun Jan 18 01:01:29 1998 UTC
# Line 53  Line 53 
53          blockList(List.map f blks)          blockList(List.map f blks)
54        end        end
55    
56    fun mkBody blks = HTML.BODY{
57            background = NONE,
58            bgcolor = NONE,
59            text = NONE,
60            link = NONE,
61            vlink = NONE,
62            alink = NONE,
63            content = mkBlock blks
64          }
65    
66  %%  %%
67    
68  (* %pure *)  (* %pure *)
# Line 66  Line 76 
76         | EndHEAD         | EndHEAD
77         | HeadContents of HTML.head_content list         | HeadContents of HTML.head_content list
78         | HeadElements of HTML.head_content list         | HeadElements of HTML.head_content list
79         | Body of HTML.block         | HeadElement of HTML.head_content
80           | Body of HTML.body
81         | StartBODY         | StartBODY
82         | EndBODY         | EndBODY
83         | BodyContent of HTML.block         | BodyContent of HTML.block
84         | BodyContent0 of HTML.block         | BodyContent0 of HTML.body
85         | BodyContent1 of blklist_item list         | BodyContent1 of blklist_item list
86         | BodyContent2 of blklist_item list         | BodyContent2 of blklist_item list
87         | BodyElement of HTML.block         | BodyElement of HTML.block
# Line 197  Line 208 
208  %arg (ctx) : int -> HTMLAttrs.context  %arg (ctx) : int -> HTMLAttrs.context
209    
210  %eop EOF  %eop EOF
211    %noshift EOF  (* avoids infinite loop in error recovery *)
212    
213  (** Some error-correction support **)  (** Some error-correction support **)
214  %value START_A ([])  %value START_A ([])
# Line 256  Line 268 
268  StartHTML  StartHTML
269          : (* empty *)           (NONE)          : (* empty *)           (NONE)
270          | START_HTML            (NONE)          | START_HTML            (NONE)
271    
272  EndHTML  EndHTML
273          : (* empty *)           ()          : (* empty *)           ()
274          | END_HTML              ()          | END_HTML              ()
# Line 281  Line 294 
294  HeadElements  HeadElements
295          : (* empty *)          : (* empty *)
296                  ([])                  ([])
297          | TAG_META HeadElements          | HeadElement HeadElements
298                  (HTMLAttrs.mkMETA(ctx TAG_METAleft, TAG_META) :: HeadElements)                  (HeadElement :: HeadElements)
299          | TAG_LINK HeadElements  
300                  (HTMLAttrs.mkLINK(ctx TAG_LINKleft, TAG_LINK) :: HeadElements)  HeadElement
301          | TAG_ISINDEX HeadElements          : TAG_META
302                    (HTMLAttrs.mkMETA(ctx TAG_METAleft, TAG_META))
303            | TAG_LINK
304                    (HTMLAttrs.mkLINK(ctx TAG_LINKleft, TAG_LINK))
305            | TAG_ISINDEX
306                  (let val stuff =                  (let val stuff =
307                      HTMLAttrs.mkISINDEX (ctx TAG_ISINDEXleft, TAG_ISINDEX)                      HTMLAttrs.mkISINDEX (ctx TAG_ISINDEXleft, TAG_ISINDEX)
308                    in HTML.Head_ISINDEX stuff :: HeadElements end                    in HTML.Head_ISINDEX stuff end
309                  )                  )
310          | TAG_BASE HeadElements          | TAG_BASE
311                  (HTMLAttrs.mkBASE(ctx TAG_BASEleft, TAG_BASE) :: HeadElements)                  (HTMLAttrs.mkBASE(ctx TAG_BASEleft, TAG_BASE))
312          | START_STYLE PCData END_STYLE HeadElements          | START_STYLE PCData END_STYLE
313                  (HTML.Head_STYLE(PCData) :: HeadElements)                  (HTML.Head_STYLE(PCData))
314          | START_SCRIPT PCData END_SCRIPT HeadElements          | START_SCRIPT PCData END_SCRIPT
315                  (HTML.Head_SCRIPT(PCData) :: HeadElements)                  (HTML.Head_SCRIPT(PCData))
316    
317    
318  (*** Body content ***)  (*** Body content ***)
# Line 314  Line 331 
331    
332  BodyContent0  BodyContent0
333          : START_BODY BodyContent          : START_BODY BodyContent
334                  (BodyContent)                  (HTMLAttrs.mkBODY(ctx START_BODYleft, START_BODY, BodyContent))
335          | TextWOScript BodyContent1          | TextWOScript BodyContent1
336                  (mkBlock(consText(TextWOScript, BodyContent1)))                  (mkBody(consText(TextWOScript, BodyContent1)))
337          | BodyElement BodyContent1          | BodyElement BodyContent1
338                  (mkBlock(consBlock(BodyElement, BodyContent1)))                  (mkBody(consBlock(BodyElement, BodyContent1)))
339          | BlockWOIndex BodyContent1          | BlockWOIndex BodyContent1
340                  (mkBlock(consBlock(BlockWOIndex, BodyContent1)))                  (mkBody(consBlock(BlockWOIndex, BodyContent1)))
341          | Paragraph END_P BodyContent1          | Paragraph END_P BodyContent1
342                  (mkBlock(consBlock(Paragraph, BodyContent1)))                  (mkBody(consBlock(Paragraph, BodyContent1)))
343          | Paragraph BodyContent2          | Paragraph BodyContent2
344                  (mkBlock(consBlock(Paragraph, BodyContent2)))                  (mkBody(consBlock(Paragraph, BodyContent2)))
345    
346  BodyContent1  BodyContent1
347          : (* empty *)          : (* empty *)
# Line 670  Line 687 
687                  (CHAR_REF)                  (CHAR_REF)
688          | ENTITY_REF          | ENTITY_REF
689                  (ENTITY_REF)                  (ENTITY_REF)
690    

Legend:
Removed from v.7  
changed lines
  Added in v.8

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