/[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 3294 by nogin, Sun Jun 24 17:30:44 2001 UTC revision 3410 by nogin, Tue Sep 25 16:52:43 2001 UTC
# Line 423  Line 423 
423              not_supported loc "class coercion"              not_supported loc "class coercion"
424         | (<:expr< $flo:s$ >>) ->         | (<:expr< $flo:s$ >>) ->
425              not_supported loc "float"              not_supported loc "float"
426         | (<:expr< for $s$ = $e1$ $to:b$ $e2$ do $list:el$ done >>) ->         | (<:expr< for $s$ = $e1$ $to:b$ $e2$ do { $list:el$ } >>) ->
427              not_supported loc "for loop"              not_supported loc "for loop"
428         | (<:expr< fun [ $list:pwel$ ] >>) ->         | (<:expr< fun [ $list:pwel$ ] >>) ->
429              not_supported loc "fun"              not_supported loc "fun"
# Line 454  Line 454 
454  *)  *)
455         | MLast.ExRec _ ->         | MLast.ExRec _ ->
456              not_supported loc "record"              not_supported loc "record"
457         | (<:expr< do $list:el$ return $e$ >>) ->         | (<:expr< do { $list:el$ } >>) ->
458              not_supported loc "do"              not_supported loc "do"
459  (*  (*
460         | (<:expr< $e$ # $i$ >>) ->         | (<:expr< $e$ # $i$ >>) ->
# Line 473  Line 473 
473              mk_expr base e              mk_expr base e
474         | (<:expr< $uid:s$ >>) ->         | (<:expr< $uid:s$ >>) ->
475              mk_var_expr base loc s              mk_var_expr base loc s
476         | (<:expr< while $e$ do $list:el$ done >>) ->         | (<:expr< while $e$ do { $list:el$ } >>) ->
477              not_supported loc "while"              not_supported loc "while"
478         | MLast.ExAnt (_, e) ->         | MLast.ExAnt (_, e) ->
479              not_supported loc "ExAnt"              not_supported loc "ExAnt"
480         | MLast.ExXnd (_, _, e) ->         | MLast.ExXnd (_, _, e) ->
481              mk_expr base e              mk_expr base e
482           | MLast.ExVrn _ ->
483                not_supported loc "ExVrn"
484           | MLast.ExOlb _ ->
485                not_supported loc "ExOlb"
486           | MLast.ExLab _ ->
487                not_supported loc "ExLab"
488    
489  and mk_patt base patt =  and mk_patt base patt =
490     let loc = loc_of_patt patt in     let loc = loc_of_patt patt in
# Line 517  Line 523 
523              not_supported loc "pattern PaAnt"              not_supported loc "pattern PaAnt"
524         | MLast.PaXnd _ ->         | MLast.PaXnd _ ->
525              not_supported loc "patterm PaXnd"              not_supported loc "patterm PaXnd"
526           | MLast.PaVrn _ ->
527                not_supported loc "patterm PaVrn"
528           | MLast.PaOlb _ ->
529                not_supported loc "patterm PaOlb"
530           | MLast.PaLab _ ->
531                not_supported loc "patterm PaLab"
532           | MLast.PaFlo _ ->
533                not_supported loc "patterm PaFlo"
534    
535  and mk_type base t =  and mk_type base t =
536     let loc = loc_of_ctyp t in     let loc = loc_of_ctyp t in
# Line 557  Line 571 
571              not_supported loc "type constructor var"              not_supported loc "type constructor var"
572         | MLast.TyXnd (_, _, t) ->         | MLast.TyXnd (_, _, t) ->
573              mk_type base t              mk_type base t
574           | MLast.TyVrn _ ->
575                not_supported loc "type constructor Vrn"
576           | MLast.TyOlb _ ->
577                not_supported loc "type constructor Olb"
578           | MLast.TyLab _ ->
579                not_supported loc "type constructor Lab"
580    
581  and mk_sig_item base si =  and mk_sig_item base si =
582     let loc = loc_of_sig_item si in     let loc = loc_of_sig_item si in
# Line 585  Line 605 
605              not_supported loc "sig type"              not_supported loc "sig type"
606         | (<:sig_item< value $s$ : $t$ >>) ->         | (<:sig_item< value $s$ : $t$ >>) ->
607              not_supported loc "sig value"              not_supported loc "sig value"
608           | MLast.SgDir _ ->
609                not_supported loc "sig dir"
610    
611  and mk_str_item base si =  and mk_str_item base si =
612     let loc = loc_of_str_item si in     let loc = loc_of_str_item si in
613        match si with        match si with
 (*  
          (<:str_item< class $list:cdl$ >>) ->  
 *)  
614           MLast.StCls _           MLast.StCls _
615         | MLast.StClt _ ->         | MLast.StClt _ ->
616              not_supported loc "str class"              not_supported loc "str class"
# Line 613  Line 632 
632              not_supported loc "str type"              not_supported loc "str type"
633         | (<:str_item< value $rec:b$ $list:pel$ >>) ->         | (<:str_item< value $rec:b$ $list:pel$ >>) ->
634              not_supported loc "str let"              not_supported loc "str let"
635           | MLast.StDir _ ->
636                not_supported loc "str dir"
637           | MLast.StInc _ ->
638                not_supported loc "str include"
639    
640  and mk_module_type base mt =  and mk_module_type base mt =
641     let loc = loc_of_module_type mt in     let loc = loc_of_module_type mt in

Legend:
Removed from v.3294  
changed lines
  Added in v.3410

  ViewVC Help
Powered by ViewVC 1.1.26