/[mojave]/metaprl/theories/tactic/mptop.ml
ViewVC logotype

Diff of /metaprl/theories/tactic/mptop.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2549 by jyh, Fri Jan 1 20:14:13 1999 UTC revision 2577 by jyh, Thu Jan 28 18:44:05 1999 UTC
# Line 119  Line 119 
119           let labels = collect mod_name labels next1 in           let labels = collect mod_name labels next1 in
120              collect mod_name labels next2              collect mod_name labels next2
121     in     in
122        collect "." [] data;     let _ = collect "." [] data in
123        hash        hash
124    
125  (*  (*
# Line 532  Line 532 
532              not_supported loc "type param"              not_supported loc "type param"
533         | (<:ctyp< $t1$ == $t2$ >>) ->         | (<:ctyp< $t1$ == $t2$ >>) ->
534              not_supported loc "type equality"              not_supported loc "type equality"
535    (*
536         | (<:ctyp< < $list:stl$ $dd:b$ > >>) ->         | (<:ctyp< < $list:stl$ $dd:b$ > >>) ->
537    *)
538           | MLast.TyObj (loc, _, _) ->
539              not_supported loc "type class"              not_supported loc "type class"
540         | (<:ctyp< { $list:sbtl$ } >>) ->         | (<:ctyp< { $list:sbtl$ } >>) ->
541              not_supported loc "type record"              not_supported loc "type record"

Legend:
Removed from v.2549  
changed lines
  Added in v.2577

  ViewVC Help
Powered by ViewVC 1.1.26