Project

General

Profile

Revision 4034b51c src/typing.ml

View differences:

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