From b35bceb2848c94c3a38e85ba5cb66560ff204164 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 6 Mar 2019 16:44:52 -0500 Subject: Update .out files --- src/strip_literal_casts_rewrite_head.out | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) (limited to 'src/strip_literal_casts_rewrite_head.out') diff --git a/src/strip_literal_casts_rewrite_head.out b/src/strip_literal_casts_rewrite_head.out index 9880ce10f..916f44c85 100644 --- a/src/strip_literal_casts_rewrite_head.out +++ b/src/strip_literal_casts_rewrite_head.out @@ -175,14 +175,13 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with if type.type_beq base.type base.type.type_beq ℤ (projT1 args) then xv <- ident.unify pattern.ident.Literal ##(projT2 args); - fv <- (x0 <- (if - is_bounded_by_bool (let (x0, _) := xv in x0) - (ZRange.normalize range) - then - Datatypes.Some - (##(let (x0, _) := xv in x0))%expr - else Datatypes.None); - Datatypes.Some (Base x0)); + fv <- (if + is_bounded_by_bool (let (x0, _) := xv in x0) + (ZRange.normalize range) + then + Datatypes.Some + (Base (##(let (x0, _) := xv in x0))%expr) + else Datatypes.None); Datatypes.Some (fv0 <-- fv; Base fv0)%under_lets else Datatypes.None -- cgit v1.2.3