/[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 3562 by emre, Wed Apr 3 08:37:31 2002 UTC revision 3563 by emre, Fri Apr 5 01:16:49 2002 UTC
# Line 109  Line 109 
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 var2 TyInt) "TyPointer var2 TyInt";
112     ty_test (TyFrame var1 TyInt) "TyFrame var1 TyInt";     ty_test (TyFrame var1) "TyFrame var1";
113    
114     (* Polymorphism. *)     (* Polymorphism. *)
115     ty_test (TyVar var2) "TyVar var2";     ty_test (TyVar var2) "TyVar var2";
# 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";
124     ty_test (TyOption (TyFrame var2 TyInt))     ty_test (TyOption (TyFrame var2))
125             "TyOption (TyFrame var2 TyInt)";             "TyOption (TyFrame var2)";
126    
127     (* Delayed type. *)     (* Delayed type. *)
128     ty_test TyDelayed "TyDelayed";     ty_test TyDelayed "TyDelayed";

Legend:
Removed from v.3562  
changed lines
  Added in v.3563

  ViewVC Help
Powered by ViewVC 1.1.26