Changeset 3b56166 for tests/.expect/completeTypeError.txt

Timestamp:

Feb 10, 2020, 11:17:38 AM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct

Children:

3966d9a, 41efd33

Parents:

807a632 (diff), d231700 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/.expect/completeTypeError.txt (modified) (3 diffs)

tests/.expect/completeTypeError.txt

@@ -10 +10 @@
       Application of
         Variable Expression: *?: forall
-          DT: object type
+          DT: data type
           function
         ... with parameters
@@ -33 +33 @@
       Application of
         Variable Expression: *?: forall
-          DT: object type
+          DT: data type
           function
         ... with parameters
@@ -87 +87 @@
 Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of
             Variable Expression: baz: forall
-              T: sized object type
+              T: sized data type
               ... with assertions
                 ?=?: pointer to function