/[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 3058 by jyh, Sun Sep 10 20:41:19 2000 UTC revision 3085 by nogin, Wed Oct 18 21:32:01 2000 UTC
# Line 399  Line 399 
399                 match a with                 match a with
400                    AddressExpr a ->                    AddressExpr a ->
401                       f a                       f a
402                  | _ ->                  | ListExpr _ ->
403                       f (make_address (int_list_of_list loc a))                       f (make_address (int_list_of_list loc a))
404                    | _ ->
405                         type_error loc "expr should be an address"
406              end              end
   
407         | AddrFunExpr f ->         | AddrFunExpr f ->
408              f (int_list_of_list loc a)              f (int_list_of_list loc a)
409         | StringListFunExpr f ->         | StringListFunExpr f ->

Legend:
Removed from v.3058  
changed lines
  Added in v.3085

  ViewVC Help
Powered by ViewVC 1.1.26