Changeset 627f585 for src/tests

Timestamp:

Jan 10, 2017, 2:32:33 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

dd0c97b

Parents:

f831177

Message:

moved new and delete to stdlib

Location:

src/tests

Files:

• avltree/avl.h (modified) (1 diff)
• avltree/avl0.c (modified) (1 diff)
• tupleVariadic.c (modified) (1 diff)

src/tests/avltree/avl.h

@@ -19 +19 @@
 forall(otype T | Comparable(T))
 int ?>?(T t1, T t2);
+
+// xxx - unbound type variable problems when trying to use new instead of create
+// forall( otype T, ttype Params | { void ?{}(T *, Params); } ) T * new( Params p );
 
 forall(dtype T | { void ^?{}(T *); })

src/tests/avltree/avl0.c

@@ -10 +10 @@
   return t2 < t1;
 }
-
-forall(dtype T | { void ^?{}(T *); })
-void delete(T * x) {
-  if (x) {
-    ^?{}(x);
-    free(x);
-  }
-}

src/tests/tupleVariadic.c

@@ -29 +29 @@
 }
 
-forall(otype T) T * malloc();
-
-forall(otype T, ttype Params | sized(T) | { void ?{}(T *, Params); })
-T * new(Params p) {
-        return ((T*)malloc()){ p };
-}
+forall(otype T, ttype Params | { void ?{}(T *, Params); })
+T * new(Params p);
 
 struct array {