Revision 4034b51c
Added by Pierre-Loïc Garoche about 4 years ago
| src/typing.ml | ||
|---|---|---|
| 334 | 334 |
with Not_found -> |
| 335 | 335 |
ty_struct |
| 336 | 336 |
end |
| 337 |
| Const_string _ | Const_modeid _ ->
|
|
| 338 |
if is_annot then (* Type_predef. *)type_string else assert false (* string datatype should only appear in annotations *)
|
|
| 337 |
| Const_string s | Const_modeid s ->
|
|
| 338 |
if is_annot then (* Type_predef. *)type_string else (Format.eprintf "Typing string %s outisde of annot scope@.@?" s; assert false (* string datatype should only appear in annotations *))
|
|
| 339 | 339 |
|
| 340 | 340 |
(* The following typing functions take as parameter an environment [env] |
| 341 | 341 |
and whether the element being typed is expected to be constant [const]. |
Also available in: Unified diff
more explanation in case of failure. Still dirty