|
@@ -13,7 +13,7 @@
|
|
|
// CHECK: fn Print (format_str: String) {
|
|
// CHECK: fn Print (format_str: String) {
|
|
|
// CHECK: ********** type checking **********
|
|
// CHECK: ********** type checking **********
|
|
|
// CHECK: checking pattern (format_str: String)
|
|
// CHECK: checking pattern (format_str: String)
|
|
|
-// CHECK: constants: Main: fun<Main>, Print: fun<Print>
|
|
|
|
|
|
|
+// CHECK: constants: {{.*Main: fun<Main>.*}}
|
|
|
// CHECK: ********** type checking complete **********
|
|
// CHECK: ********** type checking complete **********
|
|
|
// CHECK: fn Print (format_str: String) {
|
|
// CHECK: fn Print (format_str: String) {
|
|
|
// CHECK: ********** starting execution **********
|
|
// CHECK: ********** starting execution **********
|