diff options
Diffstat (limited to 'src/Experiments/NewPipeline/fancy_rewrite_head.out')
-rw-r--r-- | src/Experiments/NewPipeline/fancy_rewrite_head.out | 86 |
1 files changed, 43 insertions, 43 deletions
diff --git a/src/Experiments/NewPipeline/fancy_rewrite_head.out b/src/Experiments/NewPipeline/fancy_rewrite_head.out index d6ae37896..afe8cab0f 100644 --- a/src/Experiments/NewPipeline/fancy_rewrite_head.out +++ b/src/Experiments/NewPipeline/fancy_rewrite_head.out @@ -131,7 +131,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((projT1 args1) -> s0 -> (projT1 args))%ptype option (fun x3 : option => x3) with - | Some (_, (_, _)) => + | Some (_, (_, _))%zrange => if type.type_beq base.type base.type.type_beq (ℤ -> ℤ -> ℤ)%ptype @@ -177,7 +177,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((projT1 args1) -> (projT1 args) -> s)%ptype option (fun x3 : option => x3) with - | Some (_, (_, _)) => + | Some (_, (_, _))%zrange => if type.type_beq base.type base.type.type_beq (ℤ -> ℤ -> ℤ)%ptype @@ -219,7 +219,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((projT1 args1) -> (projT1 args) -> s)%ptype option (fun x3 : option => x3) with - | Some (_, (_, _)) => + | Some (_, (_, _))%zrange => if type.type_beq base.type base.type.type_beq (ℤ -> ℤ -> ℤ)%ptype @@ -265,7 +265,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((projT1 args1) -> s0 -> (projT1 args))%ptype option (fun x3 : option => x3) with - | Some (_, (_, _)) => + | Some (_, (_, _))%zrange => if type.type_beq base.type base.type.type_beq (ℤ -> ℤ -> ℤ)%ptype @@ -311,7 +311,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((projT1 args1) -> s0 -> (projT1 args))%ptype option (fun x3 : option => x3) with - | Some (_, (_, _)) => + | Some (_, (_, _))%zrange => if type.type_beq base.type base.type.type_beq (ℤ -> ℤ -> ℤ)%ptype @@ -341,7 +341,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((projT1 args1) -> s0 -> (projT1 args))%ptype option (fun x3 : option => x3) with - | Some (_, (_, _)) => + | Some (_, (_, _))%zrange => if type.type_beq base.type base.type.type_beq (ℤ -> ℤ -> ℤ)%ptype @@ -390,7 +390,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((projT1 args0) -> s) -> (projT1 args))%ptype option (fun x3 : option => x3) with - | Some (_, _, _) => + | Some (_, _, _)%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ)%ptype @@ -440,7 +440,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((s0 -> (projT1 args0)) -> (projT1 args))%ptype option (fun x3 : option => x3) with - | Some (_, _, _) => + | Some (_, _, _)%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ)%ptype @@ -490,7 +490,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((projT1 args0) -> s) -> (projT1 args))%ptype option (fun x3 : option => x3) with - | Some (_, _, _) => + | Some (_, _, _)%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ)%ptype @@ -540,7 +540,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((s0 -> (projT1 args0)) -> (projT1 args))%ptype option (fun x3 : option => x3) with - | Some (_, _, _) => + | Some (_, _, _)%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ)%ptype @@ -594,7 +594,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((projT1 args1) -> s) -> (projT1 args) -> s1)%ptype option (fun x5 : option => x5) with - | Some (_, _, (_, _)) => + | Some (_, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ -> ℤ)%ptype @@ -666,7 +666,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((s0 -> (projT1 args1)) -> (projT1 args) -> s1)%ptype option (fun x5 : option => x5) with - | Some (_, _, (_, _)) => + | Some (_, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ -> ℤ)%ptype @@ -737,7 +737,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((projT1 args1) -> s) -> s2 -> (projT1 args))%ptype option (fun x5 : option => x5) with - | Some (_, _, (_, _)) => + | Some (_, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ -> ℤ)%ptype @@ -805,7 +805,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((s0 -> (projT1 args1)) -> s2 -> (projT1 args))%ptype option (fun x5 : option => x5) with - | Some (_, _, (_, _)) => + | Some (_, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ -> ℤ)%ptype @@ -873,7 +873,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((projT1 args1) -> s) -> s2 -> (projT1 args))%ptype option (fun x5 : option => x5) with - | Some (_, _, (_, _)) => + | Some (_, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ -> ℤ)%ptype @@ -932,7 +932,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((s0 -> (projT1 args1)) -> s2 -> (projT1 args))%ptype option (fun x5 : option => x5) with - | Some (_, _, (_, _)) => + | Some (_, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ -> ℤ)%ptype @@ -988,7 +988,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((s0 -> (projT1 args0)) -> (projT1 args))%ptype option (fun x3 : option => x3) with - | Some (_, _, _) => + | Some (_, _, _)%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ)%ptype @@ -1018,7 +1018,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((s0 -> (projT1 args0)) -> (projT1 args))%ptype option (fun x3 : option => x3) with - | Some (_, _, _) => + | Some (_, _, _)%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ)%ptype @@ -1054,7 +1054,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((s0 -> (projT1 args1)) -> (projT1 args) -> s1)%ptype option (fun x5 : option => x5) with - | Some (_, _, (_, _)) => + | Some (_, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ -> ℤ)%ptype @@ -1097,7 +1097,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((s0 -> (projT1 args1)) -> s2 -> (projT1 args))%ptype option (fun x5 : option => x5) with - | Some (_, _, (_, _)) => + | Some (_, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ -> ℤ)%ptype @@ -1140,7 +1140,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((s0 -> (projT1 args1)) -> s2 -> (projT1 args))%ptype option (fun x5 : option => x5) with - | Some (_, _, (_, _)) => + | Some (_, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ -> ℤ)%ptype @@ -1227,7 +1227,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((projT1 args1) -> ℤ) -> s0 -> (projT1 args))%ptype option (fun x4 : option => x4) with - | Some (_, _, (_, _)) => + | Some (_, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ -> ℤ)%ptype @@ -1276,7 +1276,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((projT1 args1) -> s0 -> (projT1 args)) -> ℤ)%ptype option (fun x4 : option => x4) with - | Some (_, (_, _), _) => + | Some (_, (_, _), _)%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ -> ℤ) -> ℤ)%ptype @@ -1325,7 +1325,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((projT1 args1) -> ℤ) -> s0 -> (projT1 args))%ptype option (fun x4 : option => x4) with - | Some (_, _, (_, _)) => + | Some (_, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ -> ℤ)%ptype @@ -1374,7 +1374,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((projT1 args1) -> s0 -> (projT1 args)) -> ℤ)%ptype option (fun x4 : option => x4) with - | Some (_, (_, _), _) => + | Some (_, (_, _), _)%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ -> ℤ) -> ℤ)%ptype @@ -1418,7 +1418,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((projT1 args) -> ℤ) -> ℤ)%ptype option (fun x2 : option => x2) with - | Some (_, _, _) => + | Some (_, _, _)%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ)%ptype (((projT1 args) -> ℤ) -> ℤ)%ptype @@ -1460,7 +1460,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((((projT1 args1) -> ℤ) -> ℤ) -> s0 -> (projT1 args))%ptype option (fun x5 : option => x5) with - | Some (_, _, _, (_, _)) => + | Some (_, _, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq (((ℤ -> ℤ) -> ℤ) -> ℤ -> ℤ)%ptype @@ -1510,7 +1510,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((((projT1 args1) -> ℤ) -> s0 -> (projT1 args)) -> ℤ)%ptype option (fun x5 : option => x5) with - | Some (_, _, (_, _), _) => + | Some (_, _, (_, _), _)%zrange => if type.type_beq base.type base.type.type_beq (((ℤ -> ℤ) -> ℤ -> ℤ) -> ℤ)%ptype @@ -1560,7 +1560,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((((projT1 args1) -> ℤ) -> ℤ) -> s0 -> (projT1 args))%ptype option (fun x5 : option => x5) with - | Some (_, _, _, (_, _)) => + | Some (_, _, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq (((ℤ -> ℤ) -> ℤ) -> ℤ -> ℤ)%ptype @@ -1610,7 +1610,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((((projT1 args1) -> ℤ) -> s0 -> (projT1 args)) -> ℤ)%ptype option (fun x5 : option => x5) with - | Some (_, _, (_, _), _) => + | Some (_, _, (_, _), _)%zrange => if type.type_beq base.type base.type.type_beq (((ℤ -> ℤ) -> ℤ -> ℤ) -> ℤ)%ptype @@ -1654,7 +1654,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((((projT1 args) -> ℤ) -> ℤ) -> ℤ)%ptype option (fun x3 : option => x3) with - | Some (_, _, _, _) => + | Some (_, _, _, _)%zrange => if type.type_beq base.type base.type.type_beq (((ℤ -> ℤ) -> ℤ) -> ℤ)%ptype @@ -1695,7 +1695,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((projT1 args1) -> ℤ) -> s0 -> (projT1 args))%ptype option (fun x4 : option => x4) with - | Some (_, _, (_, _)) => + | Some (_, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ -> ℤ)%ptype @@ -1733,7 +1733,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((projT1 args1) -> ℤ) -> s0 -> (projT1 args))%ptype option (fun x4 : option => x4) with - | Some (_, _, (_, _)) => + | Some (_, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ -> ℤ)%ptype @@ -1773,7 +1773,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((projT1 args) -> ℤ) -> ℤ)%ptype option (fun x2 : option => x2) with - | Some (_, _, _) => + | Some (_, _, _)%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ)%ptype (((projT1 args) -> ℤ) -> ℤ)%ptype @@ -1813,7 +1813,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((((projT1 args1) -> ℤ) -> ℤ) -> s0 -> (projT1 args))%ptype option (fun x5 : option => x5) with - | Some (_, _, _, (_, _)) => + | Some (_, _, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq (((ℤ -> ℤ) -> ℤ) -> ℤ -> ℤ)%ptype @@ -1851,7 +1851,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((((projT1 args1) -> ℤ) -> ℤ) -> s0 -> (projT1 args))%ptype option (fun x5 : option => x5) with - | Some (_, _, _, (_, _)) => + | Some (_, _, _, (_, _))%zrange => if type.type_beq base.type base.type.type_beq (((ℤ -> ℤ) -> ℤ) -> ℤ -> ℤ)%ptype @@ -1891,7 +1891,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((((projT1 args) -> ℤ) -> ℤ) -> ℤ)%ptype option (fun x3 : option => x3) with - | Some (_, _, _, _) => + | Some (_, _, _, _)%zrange => if type.type_beq base.type base.type.type_beq (((ℤ -> ℤ) -> ℤ) -> ℤ)%ptype @@ -1930,7 +1930,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((((projT1 args) -> s) -> ℤ) -> ℤ)%ptype option (fun x4 : option => x4) with - | Some (_, _, _, _) => + | Some (_, _, _, _)%zrange => if type.type_beq base.type base.type.type_beq (((ℤ -> ℤ) -> ℤ) -> ℤ)%ptype @@ -1964,7 +1964,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((((projT1 args) -> s) -> ℤ) -> ℤ)%ptype option (fun x4 : option => x4) with - | Some (_, _, _, _) => + | Some (_, _, _, _)%zrange => if type.type_beq base.type base.type.type_beq (((ℤ -> ℤ) -> ℤ) -> ℤ)%ptype @@ -1995,7 +1995,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with (((s0 -> (projT1 args)) -> ℤ) -> ℤ)%ptype option (fun x4 : option => x4) with - | Some (_, _, _, _) => + | Some (_, _, _, _)%zrange => if type.type_beq base.type base.type.type_beq (((ℤ -> ℤ) -> ℤ) -> ℤ)%ptype @@ -2030,7 +2030,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with pattern.type.unify_extracted_cps ((ℤ -> ℤ) -> ℤ)%ptype ((ℤ -> ℤ) -> ℤ)%ptype option (fun x2 : option => x2) with - | Some (_, _, _) => + | Some (_, _, _)%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ)%ptype ((ℤ -> ℤ) -> ℤ)%ptype @@ -2046,7 +2046,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with pattern.type.unify_extracted_cps ((ℤ -> ℤ) -> ℤ)%ptype ((ℤ -> ℤ) -> ℤ)%ptype option (fun x2 : option => x2) with - | Some (_, _, _) => + | Some (_, _, _)%zrange => if type.type_beq base.type base.type.type_beq ((ℤ -> ℤ) -> ℤ)%ptype ((ℤ -> ℤ) -> ℤ)%ptype @@ -2068,7 +2068,7 @@ match idc in (Compilers.ident t) return (Compile.value' true t) with ((((projT1 args0) -> ℤ) -> ℤ) -> (projT1 args))%ptype option (fun x3 : option => x3) with - | Some (_, _, _, _) => + | Some (_, _, _, _)%zrange => if type.type_beq base.type base.type.type_beq (((ℤ -> ℤ) -> ℤ) -> ℤ)%ptype |