/[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 2811 by jyh, Fri Sep 3 23:41:50 1999 UTC revision 2859 by nogin, Mon Nov 22 05:43:56 1999 UTC
# Line 544  Line 544 
544              not_supported loc "sig module type"              not_supported loc "sig module type"
545         | (<:sig_item< open $sl$ >>) ->         | (<:sig_item< open $sl$ >>) ->
546              not_supported loc "sig open"              not_supported loc "sig open"
547         | (<:sig_item< type $list:ssltl$ >>) ->         | (<:sig_item< type $list:tdl$ >>) ->
548              not_supported loc "sig type"              not_supported loc "sig type"
549         | (<:sig_item< value $s$ : $t$ >>) ->         | (<:sig_item< value $s$ : $t$ >>) ->
550              not_supported loc "sig value"              not_supported loc "sig value"
# Line 572  Line 572 
572              not_supported loc "str module type"              not_supported loc "str module type"
573         | (<:str_item< open $sl$ >>) ->         | (<:str_item< open $sl$ >>) ->
574              not_supported loc "str module open"              not_supported loc "str module open"
575         | (<:str_item< type $list:ssltl$ >>) ->         | (<:str_item< type $list:tdl$ >>) ->
576              not_supported loc "str type"              not_supported loc "str type"
577         | (<:str_item< value $rec:b$ $list:pel$ >>) ->         | (<:str_item< value $rec:b$ $list:pel$ >>) ->
578              not_supported loc "str let"              not_supported loc "str let"

Legend:
Removed from v.2811  
changed lines
  Added in v.2859

  ViewVC Help
Powered by ViewVC 1.1.26