diff options
Diffstat (limited to 'src/SpecificGen/GF2213_32Reflective/Reified/AddJavaDisplay.log')
| -rw-r--r-- | src/SpecificGen/GF2213_32Reflective/Reified/AddJavaDisplay.log | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/src/SpecificGen/GF2213_32Reflective/Reified/AddJavaDisplay.log b/src/SpecificGen/GF2213_32Reflective/Reified/AddJavaDisplay.log deleted file mode 100644 index 4e361cd8d..000000000 --- a/src/SpecificGen/GF2213_32Reflective/Reified/AddJavaDisplay.log +++ /dev/null @@ -1,36 +0,0 @@ -raddW = -fun var : Syntax.base_type -> Type => -λ x x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 : var Syntax.TZ, -Tbase Syntax.TZ x15 = x + x7; -Tbase Syntax.TZ x16 = x0 + x8; -Tbase Syntax.TZ x17 = x1 + x9; -Tbase Syntax.TZ x18 = x2 + x10; -Tbase Syntax.TZ x19 = x3 + x11; -Tbase Syntax.TZ x20 = x4 + x12; -Tbase Syntax.TZ x21 = x5 + x13; -Tbase Syntax.TZ x22 = x6 + x14; -(Return x15, Return x16, Return x17, Return x18, Return x19, -Return x20, Return x21, Return x22) - : forall var : Syntax.base_type -> Type, - expr Syntax.base_type Syntax.op - (Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Syntax.TZ -> - Tbase Syntax.TZ * Tbase Syntax.TZ * Tbase Syntax.TZ * - Tbase Syntax.TZ * Tbase Syntax.TZ * Tbase Syntax.TZ * - Tbase Syntax.TZ * Tbase Syntax.TZ) - -Argument scope is [function_scope] |