From 99cdb27ecbd6a9b883a991cdf55b86673179f594 Mon Sep 17 00:00:00 2001 From: Jost Berthold Date: Fri, 25 Apr 2025 18:28:43 +1000 Subject: [PATCH] Remove `FunType` from `TypeInfo` metadata Rendering the function types as strings caused problems downstream when writing K claim files so we remove the output for now. We might change to a different type representation for function types anyway. --- src/printer.rs | 5 +- tests/integration/normalise-filter.jq | 4 +- .../programs/assert_eq.smir.json.expected | 80 -------------- .../programs/binop.smir.json.expected | 60 ----------- .../programs/char-trivial.smir.json.expected | 55 ---------- .../programs/closure-args.smir.json.expected | 70 ------------ .../closure-no-args.smir.json.expected | 70 ------------ .../const-arithm-simple.smir.json.expected | 60 ----------- .../programs/div.smir.json.expected | 55 ---------- .../double-ref-deref.smir.json.expected | 55 ---------- .../programs/enum.smir.json.expected | 50 --------- .../programs/fibonacci.smir.json.expected | 60 ----------- .../programs/float.smir.json.expected | 55 ---------- .../programs/modulo.smir.json.expected | 55 ---------- .../mutual_recursion.smir.json.expected | 65 ------------ .../option-construction.smir.json.expected | 60 ----------- .../primitive-type-bounds.smir.json.expected | 55 ---------- .../recursion-simple-match.smir.json.expected | 60 ----------- .../recursion-simple.smir.json.expected | 60 ----------- .../programs/ref-deref.smir.json.expected | 55 ---------- .../programs/shl_min.smir.json.expected | 55 ---------- .../programs/slice.smir.json.expected | 100 ------------------ .../strange-ref-deref.smir.json.expected | 55 ---------- .../programs/struct.smir.json.expected | 55 ---------- .../programs/sum-to-n.smir.json.expected | 65 ------------ .../programs/tuple-eq.smir.json.expected | 65 ------------ .../programs/tuples-simple.smir.json.expected | 55 ---------- 27 files changed, 3 insertions(+), 1536 deletions(-) diff --git a/src/printer.rs b/src/printer.rs index d4f3694..28a60ff 100644 --- a/src/printer.rs +++ b/src/printer.rs @@ -981,7 +981,6 @@ pub enum TypeMetadata { TupleType { types: Vec, }, - FunType(String), } fn mk_type_metadata( @@ -1032,8 +1031,8 @@ fn mk_type_metadata( T(Ref(_, ty, _)) => Some((k, RefType(ty))), // for tuples the element types are provided T(Tuple(tys)) => Some((k, TupleType { types: tys })), - // opaque function types (fun ptrs, closures, FnDef) are only provided to avoid dangling ty references - T(FnDef(_, _)) | T(FnPtr(_)) | T(Closure(_, _)) => Some((k, FunType(format!("{}", k)))), + // opaque function types (fun ptrs, closures, FnDef) are not provided at the moment + T(FnDef(_, _)) | T(FnPtr(_)) | T(Closure(_, _)) => None, // other types are not provided either T(Foreign(_)) | T(Pat(_, _)) diff --git a/tests/integration/normalise-filter.jq b/tests/integration/normalise-filter.jq index c0c8ebd..58e8387 100644 --- a/tests/integration/normalise-filter.jq +++ b/tests/integration/normalise-filter.jq @@ -22,8 +22,6 @@ ( .types | map(select(.[0].TupleType) | .[0].TupleType.types = "elided") ), # replace unstable Ty IDs for references by zero ( .types | map(select(.[0].PtrType) | .[0].PtrType = "elided") ), - ( .types | map(select(.[0].RefType) | .[0].RefType = "elided") ), - # keep function type strings - ( .types | map(select(.[0].FunType) | .[0].FunType = "elided") ) + ( .types | map(select(.[0].RefType) | .[0].RefType = "elided") ) ] | flatten(1) ) } diff --git a/tests/integration/programs/assert_eq.smir.json.expected b/tests/integration/programs/assert_eq.smir.json.expected index 97fc321..dc05a7b 100644 --- a/tests/integration/programs/assert_eq.smir.json.expected +++ b/tests/integration/programs/assert_eq.smir.json.expected @@ -3348,86 +3348,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/binop.smir.json.expected b/tests/integration/programs/binop.smir.json.expected index 12e52a2..669485a 100644 --- a/tests/integration/programs/binop.smir.json.expected +++ b/tests/integration/programs/binop.smir.json.expected @@ -9860,66 +9860,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/char-trivial.smir.json.expected b/tests/integration/programs/char-trivial.smir.json.expected index d339a69..a7c5426 100644 --- a/tests/integration/programs/char-trivial.smir.json.expected +++ b/tests/integration/programs/char-trivial.smir.json.expected @@ -1750,61 +1750,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/closure-args.smir.json.expected b/tests/integration/programs/closure-args.smir.json.expected index 4b780e9..b56401c 100644 --- a/tests/integration/programs/closure-args.smir.json.expected +++ b/tests/integration/programs/closure-args.smir.json.expected @@ -2060,76 +2060,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/closure-no-args.smir.json.expected b/tests/integration/programs/closure-no-args.smir.json.expected index 856828a..7cc0e5a 100644 --- a/tests/integration/programs/closure-no-args.smir.json.expected +++ b/tests/integration/programs/closure-no-args.smir.json.expected @@ -1868,76 +1868,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/const-arithm-simple.smir.json.expected b/tests/integration/programs/const-arithm-simple.smir.json.expected index 6527f49..19171c0 100644 --- a/tests/integration/programs/const-arithm-simple.smir.json.expected +++ b/tests/integration/programs/const-arithm-simple.smir.json.expected @@ -2011,66 +2011,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/div.smir.json.expected b/tests/integration/programs/div.smir.json.expected index 4103634..819b505 100644 --- a/tests/integration/programs/div.smir.json.expected +++ b/tests/integration/programs/div.smir.json.expected @@ -2117,61 +2117,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/double-ref-deref.smir.json.expected b/tests/integration/programs/double-ref-deref.smir.json.expected index 832a941..0a45e3a 100644 --- a/tests/integration/programs/double-ref-deref.smir.json.expected +++ b/tests/integration/programs/double-ref-deref.smir.json.expected @@ -1873,61 +1873,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/enum.smir.json.expected b/tests/integration/programs/enum.smir.json.expected index 3b5ab65..33cdd92 100644 --- a/tests/integration/programs/enum.smir.json.expected +++ b/tests/integration/programs/enum.smir.json.expected @@ -1579,56 +1579,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/fibonacci.smir.json.expected b/tests/integration/programs/fibonacci.smir.json.expected index 8ed6171..f9f932f 100644 --- a/tests/integration/programs/fibonacci.smir.json.expected +++ b/tests/integration/programs/fibonacci.smir.json.expected @@ -2436,66 +2436,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/float.smir.json.expected b/tests/integration/programs/float.smir.json.expected index 58c1afd..c565ee7 100644 --- a/tests/integration/programs/float.smir.json.expected +++ b/tests/integration/programs/float.smir.json.expected @@ -2344,61 +2344,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/modulo.smir.json.expected b/tests/integration/programs/modulo.smir.json.expected index c4b3407..60fa87a 100644 --- a/tests/integration/programs/modulo.smir.json.expected +++ b/tests/integration/programs/modulo.smir.json.expected @@ -2115,61 +2115,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/mutual_recursion.smir.json.expected b/tests/integration/programs/mutual_recursion.smir.json.expected index 494949d..349f792 100644 --- a/tests/integration/programs/mutual_recursion.smir.json.expected +++ b/tests/integration/programs/mutual_recursion.smir.json.expected @@ -2387,71 +2387,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/option-construction.smir.json.expected b/tests/integration/programs/option-construction.smir.json.expected index b759e9f..dd1baee 100644 --- a/tests/integration/programs/option-construction.smir.json.expected +++ b/tests/integration/programs/option-construction.smir.json.expected @@ -1920,66 +1920,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/primitive-type-bounds.smir.json.expected b/tests/integration/programs/primitive-type-bounds.smir.json.expected index 860eeef..4ede8b2 100644 --- a/tests/integration/programs/primitive-type-bounds.smir.json.expected +++ b/tests/integration/programs/primitive-type-bounds.smir.json.expected @@ -1994,61 +1994,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/recursion-simple-match.smir.json.expected b/tests/integration/programs/recursion-simple-match.smir.json.expected index 332bed7..d6ac1e4 100644 --- a/tests/integration/programs/recursion-simple-match.smir.json.expected +++ b/tests/integration/programs/recursion-simple-match.smir.json.expected @@ -2196,66 +2196,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/recursion-simple.smir.json.expected b/tests/integration/programs/recursion-simple.smir.json.expected index 4395124..1cfb1f8 100644 --- a/tests/integration/programs/recursion-simple.smir.json.expected +++ b/tests/integration/programs/recursion-simple.smir.json.expected @@ -2196,66 +2196,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/ref-deref.smir.json.expected b/tests/integration/programs/ref-deref.smir.json.expected index 6505bb2..6c9af86 100644 --- a/tests/integration/programs/ref-deref.smir.json.expected +++ b/tests/integration/programs/ref-deref.smir.json.expected @@ -1814,61 +1814,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/shl_min.smir.json.expected b/tests/integration/programs/shl_min.smir.json.expected index db40bbf..e0a53bf 100644 --- a/tests/integration/programs/shl_min.smir.json.expected +++ b/tests/integration/programs/shl_min.smir.json.expected @@ -3644,61 +3644,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/slice.smir.json.expected b/tests/integration/programs/slice.smir.json.expected index abe25b1..d4824bd 100644 --- a/tests/integration/programs/slice.smir.json.expected +++ b/tests/integration/programs/slice.smir.json.expected @@ -4772,106 +4772,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/strange-ref-deref.smir.json.expected b/tests/integration/programs/strange-ref-deref.smir.json.expected index da147ce..4ff877a 100644 --- a/tests/integration/programs/strange-ref-deref.smir.json.expected +++ b/tests/integration/programs/strange-ref-deref.smir.json.expected @@ -1876,61 +1876,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/struct.smir.json.expected b/tests/integration/programs/struct.smir.json.expected index 7ab4267..0513ddc 100644 --- a/tests/integration/programs/struct.smir.json.expected +++ b/tests/integration/programs/struct.smir.json.expected @@ -2037,61 +2037,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/sum-to-n.smir.json.expected b/tests/integration/programs/sum-to-n.smir.json.expected index 146c358..16f626a 100644 --- a/tests/integration/programs/sum-to-n.smir.json.expected +++ b/tests/integration/programs/sum-to-n.smir.json.expected @@ -2623,71 +2623,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/tuple-eq.smir.json.expected b/tests/integration/programs/tuple-eq.smir.json.expected index 64bf9ac..876561c 100644 --- a/tests/integration/programs/tuple-eq.smir.json.expected +++ b/tests/integration/programs/tuple-eq.smir.json.expected @@ -2583,71 +2583,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] } diff --git a/tests/integration/programs/tuples-simple.smir.json.expected b/tests/integration/programs/tuples-simple.smir.json.expected index b2b013e..fc1f4d8 100644 --- a/tests/integration/programs/tuples-simple.smir.json.expected +++ b/tests/integration/programs/tuples-simple.smir.json.expected @@ -1869,61 +1869,6 @@ { "RefType": "elided" } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } - ], - [ - { - "FunType": "elided" - } ] ] }