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
08b36f57
Commit
08b36f57
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2004-07-04 21:28:26 by afrisch] Typo
Original author: afrisch Date: 2004-07-04 21:28:26+00:00
parent
a08dd56b
Changes
1
Hide whitespace changes
Inline
Side-by-side
web/manual/interface.xml
View file @
08b36f57
...
...
@@ -159,7 +159,7 @@ The canonical translation is summarized in the following box:
<p>
Only monomorphic types are handled by the interface. It is allowed to
use polymorphic constructors as an intermediate, as long as the final
type to be translated i
n
monomorphic. Recursive types, including
type to be translated i
s
monomorphic. Recursive types, including
unguarded ones (option
<code>
-rectypes
</code>
of the OCaml compiler)
are accepted. In the following example:
</p>
...
...
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