issue-64
issue-58
#64
try
LabelMap.find (Label l) labels
with Not_found ->
raise (LabelNotFound (Label l))
Ici on pourrait écrire label partout à la place de (Label l) et ça marcherait aussi bien.
label
(Label l)
TyConstrMap.find (Type tid) datatypes
raise (DeclarationNotFound (Type tid))
(Pareil ici, tid à la place de (Type tid) serait plus simple.)
tid
(Type tid)
str "A record was expected."
| DeclarationNotFound (Datatype.Type tid) ->
str "Type error." ++
str "Unknown type declaration : %s." tid
Du coup ici et dessous ce seraient plutôt des Scope error, non ?
Scope error
Datatype.Env.add_decl Datatype.Env.empty option_typedecl
(* We test this example in an empty datatype environment. It should raise
an error indicating it did not find the label. *)
indicating that it ....
4f625619de
227a4bbaf8
No due date set.
No dependencies set.
Deleting a branch is permanent. It CANNOT be undone. Continue?
#64
tryLabelMap.find (Label l) labelswith Not_found ->raise (LabelNotFound (Label l))Ici on pourrait écrire
labelpartout à la place de(Label l)et ça marcherait aussi bien.tryTyConstrMap.find (Type tid) datatypeswith Not_found ->raise (DeclarationNotFound (Type tid))(Pareil ici,
tidà la place de(Type tid)serait plus simple.)str "A record was expected."| DeclarationNotFound (Datatype.Type tid) ->str "Type error." ++str "Unknown type declaration : %s." tidDu coup ici et dessous ce seraient plutôt des
Scope error, non ?Datatype.Env.add_decl Datatype.Env.empty option_typedecl(* We test this example in an empty datatype environment. It should raisean error indicating it did not find the label. *)indicating that it ....
4f625619deto227a4bbaf84 months ago