Index: src/Tests/Expect-s/Abstype.txt =================================================================== --- src/Tests/Expect-s/Abstype.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/Abstype.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,52 @@ +--- Entering scope +--- Leaving scope containing +Adding type T +Adding function x +--- Entering scope +--- Leaving scope containing +Adding function y +--- Entering scope +Adding object t +--- Entering scope +Adding object t_instance +--- Leaving scope containing +--- Leaving scope containing +Adding function *? +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type T +Adding function ?=? +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +T +Adding function ?++ +--- Entering scope +--- Leaving scope containing +Adding function ?=? +--- Entering scope +--- Leaving scope containing +Adding function ?=? +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type DT +--- Leaving scope containing +DT +--- Entering scope +--- Leaving scope containing +Adding type U +Adding function x +--- Entering scope +Adding object u +--- Entering scope +Adding object u_instance +--- Leaving scope containing +--- Leaving scope containing +Adding function break_abstraction +--- Entering scope +Adding object u +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing Index: src/Tests/Expect-s/Array.txt =================================================================== --- src/Tests/Expect-s/Array.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/Array.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,38 @@ +Adding object a1 +Adding object a2 +Adding object a4 +Adding object m1 +Adding object m2 +Adding object m4 +Adding function fred +--- Entering scope +--- Entering scope +Adding object a1 +Adding object a2 +Adding object a4 +Adding object T +--- Leaving scope containing +--- Leaving scope containing +Adding function mary +--- Entering scope +Adding object T +Adding object p1 +Adding object p2 +Adding object p3 +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +Adding function tom +--- Entering scope +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +Adding function jane +--- Entering scope +Adding object T +Adding object p1 +Adding object p2 +Adding object p3 +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing Index: src/Tests/Expect-s/AsmName.txt =================================================================== --- src/Tests/Expect-s/AsmName.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/AsmName.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,9 @@ +Adding object x +Adding function fred +--- Entering scope +Adding object x +--- Entering scope +Adding object y +Adding object z +--- Leaving scope containing +--- Leaving scope containing Index: src/Tests/Expect-s/Attributes.txt =================================================================== --- src/Tests/Expect-s/Attributes.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/Attributes.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,1 @@ +Error at line 8 reading token "*" Index: src/Tests/Expect-s/Cast.txt =================================================================== --- src/Tests/Expect-s/Cast.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/Cast.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,9 @@ +Adding object f +Adding function f +--- Entering scope +--- Entering scope +Adding object f +Adding object f +Adding object f +--- Leaving scope containing +--- Leaving scope containing Index: src/Tests/Expect-s/CastError.txt =================================================================== --- src/Tests/Expect-s/CastError.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/CastError.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,8 @@ +Adding object f +Adding function f +--- Entering scope +--- Entering scope +Adding object f +Adding object f +--- Leaving scope containing +--- Leaving scope containing Index: src/Tests/Expect-s/CharStringConstants.txt =================================================================== --- src/Tests/Expect-s/CharStringConstants.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/CharStringConstants.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,5 @@ +Adding function main +--- Entering scope +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing Index: src/Tests/Expect-s/CommentMisc.txt =================================================================== --- src/Tests/Expect-s/CommentMisc.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/CommentMisc.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,10 @@ +Adding object i +Adding object i +Adding object i +Adding object i +Adding function main +--- Entering scope +--- Entering scope +Adding object x +--- Leaving scope containing +--- Leaving scope containing Index: src/Tests/Expect-s/Constant0-1.txt =================================================================== --- src/Tests/Expect-s/Constant0-1.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/Constant0-1.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,107 @@ +Adding object 0 +Adding object 0 +Adding object 0 +Adding object 1 +Adding object 1 +Adding object 1 +Adding object 0 +Adding object 1 +Adding object 0 +Adding object 1 +Adding object 0 +Adding object 1 +Adding object 0 +Adding object 1 +Adding object 0 +Adding object 1 +Adding fwd decl for struct __anonymous0 +--- Entering scope +Adding object i +--- Leaving scope containing +Adding struct __anonymous0 +--- Entering scope +--- Leaving scope containing +Adding object 0 +Adding fwd decl for struct __anonymous1 +--- Entering scope +Adding object i +--- Leaving scope containing +Adding struct __anonymous1 +--- Entering scope +--- Leaving scope containing +Adding object 1 +Adding fwd decl for struct __anonymous2 +--- Entering scope +Adding object i +--- Leaving scope containing +Adding struct __anonymous2 +--- Entering scope +--- Leaving scope containing +Adding object 1 +Adding object 0 +Adding object 1 +Adding object 0 +Adding object 1 +Adding object 0 +Adding object 1 +Adding object 0 +Adding object 1 +Adding object 0 +Adding object 1 +Adding object 0 +Adding object 1 +Adding object 0 +Adding object 1 +Adding fwd decl for struct __anonymous3 +--- Entering scope +Adding object i +--- Leaving scope containing +Adding struct __anonymous3 +--- Entering scope +--- Leaving scope containing +Adding object 0 +Adding object x +Adding object 0 +Adding object x +Adding object 0 +Adding object x +Adding object 0 +Adding fwd decl for struct __anonymous4 +--- Entering scope +Adding object i +--- Leaving scope containing +Adding struct __anonymous4 +--- Entering scope +--- Leaving scope containing +Adding object 0 +Adding fwd decl for struct __anonymous5 +--- Entering scope +Adding object i +--- Leaving scope containing +Adding struct __anonymous5 +--- Entering scope +--- Leaving scope containing +Adding object 0 +Adding fwd decl for struct __anonymous6 +--- Entering scope +Adding object i +--- Leaving scope containing +Adding struct __anonymous6 +--- Entering scope +--- Leaving scope containing +Adding object 0 +Adding object x +Adding object 0 +Adding object x +Adding object 0 +Adding object x +Adding object 0 +Adding function main +--- Entering scope +--- Entering scope +Adding object 1 +Adding object 0 +Adding object x +Adding object 0 +--- Leaving scope containing +--- Leaving scope containing Index: src/Tests/Expect-s/Context.txt =================================================================== --- src/Tests/Expect-s/Context.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/Context.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,45 @@ +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type T +Adding function q +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +T +Adding context has_q +Adding function f +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type z +Adding function ?=? +--- Entering scope +--- Leaving scope containing +--- Entering scope +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type T +--- Entering scope +--- Leaving scope containing +Adding type U +Adding function r +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +T +U +Adding context has_r +--- Entering scope +--- Leaving scope containing +Adding type x +--- Entering scope +--- Leaving scope containing +Adding type y +--- Leaving scope containing +x +y +has_r +--- Leaving scope containing +z Index: src/Tests/Expect-s/DeclarationErrors.txt =================================================================== --- src/Tests/Expect-s/DeclarationErrors.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/DeclarationErrors.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,14 @@ +Error: invalid combination of storage classes in declaration of x9: static static volatile const short int + +Error: invalid combination of storage classes in declaration of x18: static static const volatile instance of struct __anonymous0 + with members + i: int + + +Error: invalid combination of storage classes in declaration of x19: static static const volatile volatile instance of struct __anonymous1 + with members + i: int + + +Error: invalid combination of storage classes in declaration of x28: static static volatile const instance of type Int + Index: src/Tests/Expect-s/DeclarationSpecifier.txt =================================================================== --- src/Tests/Expect-s/DeclarationSpecifier.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/DeclarationSpecifier.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,14 @@ +Error: invalid combination of storage classes in declaration of x9: static static volatile const short int + +Error: invalid combination of storage classes in declaration of x18: static static const volatile instance of struct __anonymous8 + with members + i: int + + +Error: invalid combination of storage classes in declaration of x19: static static const volatile volatile instance of struct __anonymous9 + with members + i: int + + +Error: invalid combination of storage classes in declaration of x28: static static volatile const instance of type Int + Index: src/Tests/Expect-s/Enum.txt =================================================================== --- src/Tests/Expect-s/Enum.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/Enum.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,20 @@ +Adding enum Colors +Adding object Red +Adding object Yellow +Adding object Pink +Adding object Blue +Adding object Purple +Adding object Orange +Adding object Green +Adding function f +--- Entering scope +--- Entering scope +Adding enum Fruits +Adding object Apple +Adding object Banana +Adding object Pear +Adding object Mango +Adding object fruit +--- Leaving scope containing +Fruits +--- Leaving scope containing Index: src/Tests/Expect-s/Exception.txt =================================================================== --- src/Tests/Expect-s/Exception.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/Exception.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,55 @@ +Adding function fred +--- Entering scope +--- Entering scope +Adding object x +--- Entering scope +--- Leaving scope containing +Adding object i +--- Entering scope +--- Leaving scope containing +--- Entering scope +--- Leaving scope containing +--- Entering scope +--- Leaving scope containing +Adding object x +--- Entering scope +--- Leaving scope containing +Adding fwd decl for struct __anonymous0 +--- Entering scope +Adding object i +--- Leaving scope containing +Adding struct __anonymous0 +--- Entering scope +--- Leaving scope containing +Adding struct __anonymous1 from implicit forward declaration +--- Entering scope +--- Leaving scope containing +Adding object x +--- Entering scope +--- Leaving scope containing +Adding struct __anonymous2 from implicit forward declaration +--- Entering scope +--- Leaving scope containing +Adding object x +--- Entering scope +--- Leaving scope containing +Adding struct __anonymous3 from implicit forward declaration +--- Entering scope +--- Leaving scope containing +--- Entering scope +--- Leaving scope containing +Adding struct __anonymous4 from implicit forward declaration +--- Entering scope +--- Leaving scope containing +Adding object x +--- Entering scope +--- Leaving scope containing +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +__anonymous0 +__anonymous1 +__anonymous2 +__anonymous3 +__anonymous4 +--- Leaving scope containing Index: src/Tests/Expect-s/Expression.txt =================================================================== --- src/Tests/Expect-s/Expression.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/Expression.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,15 @@ +Adding function fred +--- Entering scope +--- Entering scope +Adding fwd decl for struct s +--- Entering scope +Adding object i +--- Leaving scope containing +Adding struct s +--- Entering scope +--- Leaving scope containing +Adding object p +Adding object i +--- Leaving scope containing +s +--- Leaving scope containing Index: src/Tests/Expect-s/Forall.txt =================================================================== --- src/Tests/Expect-s/Forall.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-s/Forall.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,235 @@ +Adding function ?=? +--- Entering scope +--- Leaving scope containing +Adding function ?=? +--- Entering scope +--- Leaving scope containing +Adding function ?=? +--- Entering scope +--- Leaving scope containing +Adding function ?=? +--- Entering scope +--- Leaving scope containing +Adding function ?=? +--- Entering scope +--- Leaving scope containing +Adding function ?=? +--- Entering scope +--- Leaving scope containing +Adding function g1 +--- Entering scope +--- Entering scope +Adding function f +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type T +Adding function ?=? +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +T +Adding function f +--- Entering scope +--- Leaving scope containing +Adding function h +--- Entering scope +Adding object p +--- Leaving scope containing +Adding object x +Adding object y +Adding object z +Adding object w +--- Leaving scope containing +--- Leaving scope containing +Adding function g2 +--- Entering scope +--- Entering scope +Adding function f +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type T +Adding function ?=? +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +T +Adding function f +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type T +Adding function ?=? +--- Entering scope +--- Leaving scope containing +--- Entering scope +--- Leaving scope containing +Adding type U +Adding function ?=? +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +T +U +Adding object x +Adding object y +Adding object z +Adding object w +--- Leaving scope containing +--- Leaving scope containing +Adding function swap +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type T +Adding function ?=? +--- Entering scope +--- Leaving scope containing +Adding object left +Adding object right +--- Entering scope +Adding object temp +--- Leaving scope containing +--- Leaving scope containing +T +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type T +Adding object 0 +Adding function ?+? +--- Entering scope +--- Leaving scope containing +Adding function ?++ +--- Entering scope +--- Leaving scope containing +Adding function ?+=? +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +T +Adding context sumable +--- Entering scope +--- Leaving scope containing +Adding type T1 +Adding object 0 +Adding function ?+? +--- Entering scope +--- Leaving scope containing +Adding function ?++ +--- Entering scope +--- Leaving scope containing +Adding function ?+=? +--- Entering scope +--- Leaving scope containing +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type P1 +--- Entering scope +--- Leaving scope containing +Adding type P2 +--- Leaving scope containing +P1 +P2 +Adding type T2 +--- Entering scope +--- Leaving scope containing +Adding type T3 +Adding fwd decl for struct __anonymous0 +--- Entering scope +Adding object i +Adding object j +--- Leaving scope containing +Adding struct __anonymous0 +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type P1 +--- Entering scope +--- Leaving scope containing +Adding type P2 +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +P1 +P2 +Adding type T2 +Adding object w1 +Adding object g2 +--- Entering scope +--- Leaving scope containing +Adding type w3 +Adding object g3 +Adding function sum +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type T +Adding function ?=? +--- Entering scope +--- Leaving scope containing +Adding object n +Adding object a +--- Entering scope +Adding object total +Adding object i +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +--- Leaving scope containing +T +Adding function twice +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type T +Adding function ?=? +--- Entering scope +--- Leaving scope containing +Adding object 0 +Adding function ?+? +--- Entering scope +--- Leaving scope containing +Adding function ?++ +--- Entering scope +--- Leaving scope containing +Adding function ?+=? +--- Entering scope +--- Leaving scope containing +Adding object t +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +T +Adding function min +--- Entering scope +--- Entering scope +--- Leaving scope containing +Adding type T +Adding function ?=? +--- Entering scope +--- Leaving scope containing +Adding object 0 +Adding function ?!=? +--- Entering scope +--- Leaving scope containing +Adding function ?