/[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 3410 by nogin, Tue Sep 25 16:52:43 2001 UTC revision 3444 by nogin, Thu Nov 15 23:03:47 2001 UTC
# Line 416  Line 416 
416              not_supported loc "assignment"              not_supported loc "assignment"
417         | (<:expr< $chr:c$ >>) ->         | (<:expr< $chr:c$ >>) ->
418              not_supported loc "char"              not_supported loc "char"
 (*  
419         | (<:expr< ( $e$ :> $t$ ) >>) ->         | (<:expr< ( $e$ :> $t$ ) >>) ->
 *)  
        | MLast.ExCoe (_, e, t) ->  
420              not_supported loc "class coercion"              not_supported loc "class coercion"
421         | (<:expr< $flo:s$ >>) ->         | (<:expr< $flo:s$ >>) ->
422              not_supported loc "float"              not_supported loc "float"
# Line 433  Line 430 
430              IntExpr (int_of_string s)              IntExpr (int_of_string s)
431         | (<:expr< let $rec:b$ $list:pel$ in $e$ >>) ->         | (<:expr< let $rec:b$ $list:pel$ in $e$ >>) ->
432              not_supported loc "let"              not_supported loc "let"
433         | (<:expr< $lid:s$ >>) ->         | (<:expr< $lid:s$ >>)
434           | (<:expr< $uid:s$ >>) ->
435              mk_var_expr base loc s              mk_var_expr base loc s
436         | MLast.ExLmd _ ->         | MLast.ExLmd _ ->
437              not_supported loc "local module"              not_supported loc "local module"
438         | (<:expr< match $e$ with [ $list:pwel$ ] >>) ->         | (<:expr< match $e$ with [ $list:pwel$ ] >>) ->
439              not_supported loc "match"              not_supported loc "match"
 (*  
        | (<:expr< new $e$ >>) ->  
 *)  
440         | MLast.ExNew _ ->         | MLast.ExNew _ ->
441              not_supported loc "new"              not_supported loc "new"
442  (*  (*
# Line 469  Line 464 
464              not_supported loc "try"              not_supported loc "try"
465         | (<:expr< ( $list:el$ ) >>) ->         | (<:expr< ( $list:el$ ) >>) ->
466              mk_tuple_expr base loc el              mk_tuple_expr base loc el
467         | (<:expr< ( $e$ : $t$ ) >>) ->         | (<:expr< ( $e$ : $_$ ) >>)
468           | MLast.ExXnd (_, _, e) ->
469              mk_expr base e              mk_expr base e
        | (<:expr< $uid:s$ >>) ->  
             mk_var_expr base loc s  
470         | (<:expr< while $e$ do { $list:el$ } >>) ->         | (<:expr< while $e$ do { $list:el$ } >>) ->
471              not_supported loc "while"              not_supported loc "while"
472         | MLast.ExAnt (_, e) ->         | MLast.ExAnt (_, e) ->
473              not_supported loc "ExAnt"              not_supported loc "ExAnt"
        | MLast.ExXnd (_, _, e) ->  
             mk_expr base e  
474         | MLast.ExVrn _ ->         | MLast.ExVrn _ ->
475              not_supported loc "ExVrn"              not_supported loc "ExVrn"
476         | MLast.ExOlb _ ->         | MLast.ExOlb _ ->
# Line 510  Line 502 
502         | (<:patt< $p1$ .. $p2$ >>) ->         | (<:patt< $p1$ .. $p2$ >>) ->
503              not_supported loc "pattern range"              not_supported loc "pattern range"
504         | (<:patt< { $list:ppl$ } >>) ->         | (<:patt< { $list:ppl$ } >>) ->
505              not_supported loc "pattern list"              not_supported loc "pattern record"
506         | (<:patt< $str:s$ >>) ->         | (<:patt< $str:s$ >>) ->
507              not_supported loc "pattern string"              not_supported loc "pattern string"
508         | (<:patt< ( $list:pl$ ) >>) ->         | (<:patt< ( $list:pl$ ) >>) ->
# Line 646  Line 638 
638              not_supported loc "module type application"              not_supported loc "module type application"
639         | (<:module_type< functor ( $s$ : $mt1$ ) -> $mt2$ >>) ->         | (<:module_type< functor ( $s$ : $mt1$ ) -> $mt2$ >>) ->
640              not_supported loc "module type functor"              not_supported loc "module type functor"
641         | (<:module_type< $lid:i$ >>) ->         | (<:module_type< $lid:i$ >>)
642           | (<:module_type< $uid:i$ >>) ->
643              not_supported loc "module type var"              not_supported loc "module type var"
644         | (<:module_type< sig $list:sil$ end >>) ->         | (<:module_type< sig $list:sil$ end >>) ->
645              not_supported loc "module type sig"              not_supported loc "module type sig"
        | (<:module_type< $uid:i$ >>) ->  
             not_supported loc "module type var"  
646         | (<:module_type< $mt$ with $list:wcl$ >>) ->         | (<:module_type< $mt$ with $list:wcl$ >>) ->
647              not_supported loc "module type constraint"              not_supported loc "module type constraint"
648    

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

  ViewVC Help
Powered by ViewVC 1.1.26