Bug schema

Giuseppe Castagna Giuseppe.Castagna at ens.fr
Mon Nov 24 20:01:38 CET 2003


L'utilisation de la variable S pour un schema me donne une erreur. Voici
une session d'example.

[beppe at myrte schema]$ cduce
        CDuce version 0.2.0-pre2
 
# schema Mails = "mails.xsd";;
Registering schema type: Mails # mailType
Registering schema type: Mails # bodyType
Registering schema type: Mails # envelopeType
Registering schema type: Mails # mailsType
Registering schema element: Mails # mails
# #print_type Mails # mailType;;
<(Any) {| ns1:id = Int |}>[ <ns1:envelope {| |}>[ <ns1:From {| |}>String
                                                <ns1:To {| |}>String
                                                <ns1:Date {| |}>{
                                                                positive
= Bool;
                                                                year =
Int;
                                                                month =
Int;
                                                                day =
Int;
                                                                hour =
Int;
                                                                minute =
Int;
                                                                second =
Int;
                                                                timezone
=?
                                                                {
                                                                positive
= Bool;
                                                                hour =
Int;
                                                                minute =
Int } }
                                                <ns1:Subject {|
|}>String
                                                <ns1:header {|
                                                            ns1:name =
String |}
>
                                                [ String ]* ]
                          <ns1:body {| |}>[ Char ] ]
# schema S = "mails.xsd";;
Registering schema type: S # mailType
Registering schema type: S # bodyType
Registering schema type: S # envelopeType
Registering schema type: S # mailsType
Registering schema element: S # mails
# print_type S # mailType;;
Error at chars 13-14:
Parsing error: [phrase] or ';;' expected (in [toplevel phrases])
 





More information about the Cduce-devel mailing list