Index: src/Tests/Output-s/Forall.txt =================================================================== --- src/Tests/Output-s/Forall.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Output-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 ?