/[mojave]/metaprl/theories/mc/tests/mp_mc_test_connect_ty.ml
ViewVC logotype

Diff of /metaprl/theories/mc/tests/mp_mc_test_connect_ty.ml

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

revision 3579 by emre, Fri Apr 5 01:16:49 2002 UTC revision 3580 by emre, Fri Apr 19 08:09:21 2002 UTC
# Line 108  Line 108 
108     ty_test (TyTuple NormalTuple [TyInt]) "TyTuple NormalTuple [TyInt]";     ty_test (TyTuple NormalTuple [TyInt]) "TyTuple NormalTuple [TyInt]";
109     ty_test (TyArray (TyEnum 2)) "TyArray (TyEnum 2)";     ty_test (TyArray (TyEnum 2)) "TyArray (TyEnum 2)";
110     ty_test TyRawData "TyRawData";     ty_test TyRawData "TyRawData";
111     ty_test (TyPointer var2 TyInt) "TyPointer var2 TyInt";     ty_test (TyPointer BlockSub) "TyPointer BlockSub";
112     ty_test (TyFrame var1) "TyFrame var1";     ty_test (TyFrame var1) "TyFrame var1";
113    
114     (* Polymorphism. *)     (* Polymorphism. *)
# Line 121  Line 121 
121     (* Object-oriented. *)     (* Object-oriented. *)
122     ty_test (TyCase TyInt) "TyCase TyInt";     ty_test (TyCase TyInt) "TyCase TyInt";
123     ty_test (TyObject var1 TyInt) "TyObject var1 yInt";     ty_test (TyObject var1 TyInt) "TyObject var1 yInt";
    ty_test (TyOption (TyFrame var2))  
            "TyOption (TyFrame var2)";  
124    
125     (* Delayed type. *)     (* Delayed type. *)
126     ty_test TyDelayed "TyDelayed";     ty_test TyDelayed "TyDelayed";

Legend:
Removed from v.3579  
changed lines
  Added in v.3580

  ViewVC Help
Powered by ViewVC 1.1.26