Commit 330ca302 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-09-23 11:16:33 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-23 11:16:33+00:00
parent 8573c0c8
...@@ -45,10 +45,10 @@ to write ...@@ -45,10 +45,10 @@ to write
type Sample = <sample lineno=?"true"|"false" highlight=?"true"|"false">String type Sample = <sample lineno=?"true"|"false" highlight=?"true"|"false">String
let content (Sample -> String) let content (Sample -> String)
| <sample highlight="false" lineno="false">_ -> "no lineno, no highlight" | <sample highlight="false" lineno="false">_ -> "lineno=false, highlight=false"
| <sample lineno="false">_ -> "no lineno, highlight" | <sample lineno="false">_ -> "lineno=false, highlight=true"
| <sample highlight="false">_ -> "lineno, no highlight" | <sample highlight="false">_ -> "lineno=true, highlight=false"
| <sample>_ -> "lineno, highlight" | <sample>_ -> "lineno=true,, highlight=true,"
]]></sample> ]]></sample>
<p> <p>
...@@ -63,8 +63,7 @@ is to resort to intersection and default patterns as follows: ...@@ -63,8 +63,7 @@ is to resort to intersection and default patterns as follows:
let content (Sample -> String) let content (Sample -> String)
| <sample ( ({ highlight = h } | (h := "true")) | <sample ( ({ highlight = h } | (h := "true"))
&({ lineno = l } | (l := "true")) )>_ &({ lineno = l } | (l := "true")) )>_
-> (match l with "true" -> "lineno, " | _ -> " no lineno, ")@ -> ['lineno=' l ', highlight= ' h]
(match h with "true" -> "highlight" | _ -> "no highlight")
]]></sample> ]]></sample>
<p> <p>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment