Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
52529a48
Commit
52529a48
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-07-03 21:11:56 by cvscast] beta 0.1.0
Original author: cvscast Date: 2003-07-03 21:11:57+00:00
parent
645f941c
Changes
6
Hide whitespace changes
Inline
Side-by-side
CHANGES
View file @
52529a48
0.
0.92
0.
1.0
* Support for XML Namespaces
* Support for XML Namespaces
* Better support for expat; clean Makefile
* Better support for expat; clean Makefile
* Get rid of ;; and let fun in examples
* Get rid of ;; and let fun in examples
...
...
Makefile
View file @
52529a48
...
@@ -37,7 +37,7 @@ install_web_distant:
...
@@ -37,7 +37,7 @@ install_web_distant:
# Packaging
# Packaging
DISTRIB
=
$(DIRS)
expat tools web depend INSTALL INSTALL.WIN32 CHANGES LICENSE README doc
DISTRIB
=
$(DIRS)
expat tools web depend INSTALL INSTALL.WIN32 CHANGES LICENSE README
Makefile.conf
doc
PACKAGE
=
cduce-
$(VERSION)
PACKAGE
=
cduce-
$(VERSION)
.PHONY
:
package
.PHONY
:
package
...
...
Makefile.distrib
View file @
52529a48
include
Makefile.conf
include
Makefile.conf
VERSION
=
0.
0.92
VERSION
=
0.
1.0
PACKAGES
=
pxp-engine pxp-lex-iso88591 wlexing camlp4 num cgi pcre netstring
PACKAGES
=
pxp-engine pxp-lex-iso88591 wlexing camlp4 num cgi pcre netstring
ifeq
($(PXP_WLEX), true)
ifeq
($(PXP_WLEX), true)
...
...
web/download.xml
View file @
52529a48
...
@@ -10,7 +10,7 @@ The only available version for download is a beta release.
...
@@ -10,7 +10,7 @@ The only available version for download is a beta release.
</p>
</p>
<ul>
<ul>
<li><a
href=
"download/cduce-0.
0.92
.tar.gz"
>
Version 0.
0.92
</a></li>
<li><a
href=
"download/cduce-0.
1.0
.tar.gz"
>
Version 0.
1.0
</a></li>
</ul>
</ul>
<p>
<p>
...
...
web/manual/types_patterns.xml
View file @
52529a48
...
@@ -429,8 +429,9 @@ Usually, <code>%%tag%%</code> is a tag literal <code>`%%xxx%%</code>, and
...
@@ -429,8 +429,9 @@ Usually, <code>%%tag%%</code> is a tag literal <code>`%%xxx%%</code>, and
in this case, instead of writing
<code>
<
(`%%tag%%)>
</code>
,
in this case, instead of writing
<code>
<
(`%%tag%%)>
</code>
,
you can write:
<code>
<
%%tag%%>
</code>
.
you can write:
<code>
<
%%tag%%>
</code>
.
Similarly, when
<code>
%%attr%%
</code>
is a record literal, you can
Similarly, when
<code>
%%attr%%
</code>
is a record literal, you can
omit the surrounding
<code>
({...})
</code>
.
omit the surrounding
<code>
({...})
</code>
, and also the semicolon
E.g:
<code>
<
a href="http://...">[]
</code>
.
between attributes,
E.g:
<code>
<
a href="http://..." dir="ltr">[]
</code>
.
</p>
</p>
<p>
<p>
...
@@ -453,7 +454,7 @@ The following sample shows several way to write XML types.
...
@@ -453,7 +454,7 @@ The following sample shows several way to write XML types.
</p>
</p>
<sample>
<![CDATA[
<sample>
<![CDATA[
type A = <a x
=
String
;
y
=
String>
[ A* ]
type A = <a x
=
String y
=
String>
[ A* ]
type B =
<
(`x | `y)>[ ]
type B =
<
(`x | `y)>[ ]
type C =
<c
{|
x =
String;
y =
String
|}
>
[ ]
type C =
<c
{|
x =
String;
y =
String
|}
>
[ ]
type U = { x = String; y =? String }
type U = { x = String; y =? String }
...
...
web/memento.xml
View file @
52529a48
...
@@ -143,7 +143,8 @@ field <code>l</code> is not present)</li>
...
@@ -143,7 +143,8 @@ field <code>l</code> is not present)</li>
<li>
If the tag is an atom
<code>
`X
</code>
, it can be written
<li>
If the tag is an atom
<code>
`X
</code>
, it can be written
<code>
X
</code>
(without the
<code>
(..)
</code>
).
<code>
X
</code>
(without the
<code>
(..)
</code>
).
Similarly, parenthesis and curly braces may be omitted
Similarly, parenthesis and curly braces may be omitted
when attr is a record
<code>
l1=e1;...;ln=en
</code>
.
when attr is a record
<code>
l1=e1;...;ln=en
</code>
(semicolon can also be omitted in this case).
E.g:
<code>
<
a href="abc">[ 'abc' ]
</code>
.
</li>
E.g:
<code>
<
a href="abc">[ 'abc' ]
</code>
.
</li>
<li>
Types and patterns: same notations.
</li>
<li>
Types and patterns: same notations.
</li>
<li>
Operators:
<code>
load_xml : String -> Any; print_xml : Any -> String
</code>
<li>
Operators:
<code>
load_xml : String -> Any; print_xml : Any -> String
</code>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment