mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-11-05 04:51:40 +03:00
Delete old test snapshots
This commit is contained in:
imaqtkatt
parent
06b9cf59cf
commit
ee41ab3fe2
@ -1,6 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/addition.hvm
|
||||
---
|
||||
@main = #10
|
||||
|
||||
@ -1,6 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/addition_var_fst.hvm
|
||||
---
|
||||
@main = (<+ #1 a> a)
|
||||
|
||||
@ -1,16 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/adt_option_and.hvm
|
||||
---
|
||||
@6 = ({2 @D {2 @C a}} a)
|
||||
@8 = (* @None)
|
||||
@9 = {4 a (b {2 {4 [b a] c} {2 * c}})}
|
||||
@C = (* @None)
|
||||
@D = {4 a ({2 @9 {2 @8 (a b)}} b)}
|
||||
@None = {2 * {2 a a}}
|
||||
@Some = (a {2 {4 a b} {2 * b}})
|
||||
@main = a
|
||||
& @6 ~ (b (c a))
|
||||
& @Some ~ (#3 c)
|
||||
& @Some ~ (#1 b)
|
||||
|
||||
@ -1,5 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/adt_string.hvm
|
||||
---
|
||||
String is a built-in data type and should not be overridden.
|
||||
@ -1,12 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/and.hvm
|
||||
---
|
||||
@6 = (a a)
|
||||
@8 = (* @false)
|
||||
@9 = (a ({2 @6 {2 @8 (a b)}} b))
|
||||
@false = {2 * {2 a a}}
|
||||
@main = a
|
||||
& @9 ~ (@true (@false a))
|
||||
@true = {2 a {2 * a}}
|
||||
|
||||
@ -1,5 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/bad_parens_making_erased_let.hvm
|
||||
---
|
||||
In definition 'main': Unbound variable 'two'
|
||||
@ -1,10 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/bool.hvm
|
||||
---
|
||||
@Not = ((@fals (@true a)) a)
|
||||
@fals = (* (a a))
|
||||
@main = a
|
||||
& @Not ~ (@true a)
|
||||
@true = (a (* a))
|
||||
|
||||
@ -1,5 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/cyclic_dup.hvm
|
||||
---
|
||||
In definition 'main': Unbound variable 'y1'
|
||||
@ -1,5 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/double_main.hvm
|
||||
---
|
||||
File has both 'Main' and 'main' definitions
|
||||
@ -1,6 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/eta_chain.hvm
|
||||
---
|
||||
@main = (<+ a b> (<+ c a> (c b)))
|
||||
|
||||
@ -1,10 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/ex0.hvm
|
||||
---
|
||||
@C_2 = ({3 (a b) (c a)} (c b))
|
||||
@S = (a ((a b) (* b)))
|
||||
@Z = (* (a a))
|
||||
@main = a
|
||||
& @C_2 ~ (@S (@Z a))
|
||||
|
||||
@ -1,19 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/ex2.hvm
|
||||
---
|
||||
@E = (* @F)
|
||||
@F = (* (a a))
|
||||
@I = (a (* ((a b) (* b))))
|
||||
@c2 = ({3 (a b) (c a)} (c b))
|
||||
@decO = ((@decO (@low (@E a))) (* ((a b) (* b))))
|
||||
@low = ((@lowO (@lowI (@E a))) a)
|
||||
@lowI = (a (((* ((a b) (* b))) c) (* (* c))))
|
||||
@lowO = (a ((((a b) (* (* b))) c) (* (* c))))
|
||||
@main = a
|
||||
& @run ~ (b a)
|
||||
& @c2 ~ (@I (@E b))
|
||||
@run = ((@runO (@runI (@E a))) a)
|
||||
@runI = ((@lowO (@lowI (@E (@runO (@runI (@E a)))))) a)
|
||||
@runO = ((@decO (@low (@E (@lowO (@lowI (@E (@runO (@runI (@E a))))))))) a)
|
||||
|
||||
@ -1,8 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/example.hvm
|
||||
---
|
||||
@Def2 = (a a)
|
||||
@main = a
|
||||
& @Def2 ~ (#1 a)
|
||||
|
||||
@ -1,6 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/exp.hvm
|
||||
---
|
||||
@main = ({5 ({5 a b} c) (c {5 b d})} (a d))
|
||||
|
||||
@ -1,31 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/expr.hvm
|
||||
---
|
||||
@App = (a (b {2 * {2 * {2 {10 a {8 b c}} {2 * {2 * {2 * {2 * {2 * {2 * c}}}}}}}}}))
|
||||
@Dup = (a (b (c (d {2 * {2 * {2 * {2 * {2 * {2 * {2 {34 a {32 b {30 c {28 d e}}}} {2 * {2 * e}}}}}}}}}))))
|
||||
@F = {46 a {46 * {46 * a}}}
|
||||
@G = {46 a {46 * a}}
|
||||
@H = {46 * @G}
|
||||
@Let = (a (b (c {2 * {2 * {2 * {2 * {2 * {2 {26 a {24 b {22 c d}}} {2 * {2 * {2 * d}}}}}}}}})))
|
||||
@Mul = {46 * @H}
|
||||
@Num = (a {2 * {2 {6 a b} {2 * {2 * {2 * {2 * {2 * {2 * {2 * b}}}}}}}}})
|
||||
@Op2 = (a (b (c {2 * {2 * {2 * {2 * {2 * {2 * {2 * {2 * {2 {44 a {42 b {40 c d}}} d}}}}}}}}})))
|
||||
@Sub = {46 * @F}
|
||||
@Var = (a {2 {4 a b} {2 * {2 * {2 * {2 * {2 * {2 * {2 * {2 * b}}}}}}}}})
|
||||
@main = a
|
||||
& @Let ~ (b (c (d a)))
|
||||
& @Dup ~ (e (f (g (h d))))
|
||||
& @App ~ (i (j h))
|
||||
& @Var ~ (#2 j)
|
||||
& @Var ~ (#1 i)
|
||||
& @Var ~ (#0 g)
|
||||
& @Var ~ (#2 f)
|
||||
& @Var ~ (#1 e)
|
||||
& @Op2 ~ (@Mul (k c))
|
||||
& @Op2 ~ (@Sub (l (m (n k))))
|
||||
& @Num ~ (#3 n)
|
||||
& @Num ~ (#1 m)
|
||||
& @Num ~ (#2 l)
|
||||
& @Var ~ (#0 b)
|
||||
|
||||
@ -1,9 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/extracted_match_pred.hvm
|
||||
---
|
||||
@main = a
|
||||
& @val ~ (#1 a)
|
||||
@val = (?<(@valZ @val) a> a)
|
||||
@valZ = #0
|
||||
|
||||
@ -1,8 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/fst.hvm
|
||||
---
|
||||
@3 = ([a *] a)
|
||||
@main = a
|
||||
& @3 ~ ([#4 #8] a)
|
||||
|
||||
@ -1,8 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/fst_fst.hvm
|
||||
---
|
||||
@5 = ([a *] ([b *] [a b]))
|
||||
@main = a
|
||||
& @5 ~ ([#3 #9] ([#4 #12] a))
|
||||
|
||||
@ -1,6 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/hvm1_main.hvm
|
||||
---
|
||||
@main = (a a)
|
||||
|
||||
@ -1,8 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/inline_app.hvm
|
||||
---
|
||||
@Rul3 = (a a)
|
||||
@main = a
|
||||
& @Rul3 ~ (@Rul3 a)
|
||||
|
||||
@ -1,11 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/let_adt_destructuring.hvm
|
||||
---
|
||||
@4 = ({2 @6 a} a)
|
||||
@6 = {4 a a}
|
||||
@Box = (a {2 {4 a b} b})
|
||||
@main = a
|
||||
& @4 ~ (b a)
|
||||
& @Box ~ (#1 b)
|
||||
|
||||
@ -1,5 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/let_adt_non_exhaustive.hvm
|
||||
---
|
||||
In definition 'main$match$1': Non-exhaustive pattern. Hint: (main$match$1 None) not covered.
|
||||
@ -1,6 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/linearize_match.hvm
|
||||
---
|
||||
@main = (?<((a a) (<+ b c> (b c))) d> d)
|
||||
|
||||
@ -1,30 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/list_merge_sort.hvm
|
||||
---
|
||||
@F = (a (* a))
|
||||
@G = (* (a a))
|
||||
@J = (* @Nil)
|
||||
@L = {8 a {6 {4 @L {4 @J (b c)}} ({3 b (a d)} {4 {8 d {6 c e}} {4 * e}})}}
|
||||
@Map = ({4 @L {4 @J a}} a)
|
||||
@Nil = {4 * {4 a a}}
|
||||
@Pure = (a {4 {8 a {6 @Nil b}} {4 * b}})
|
||||
@Q = {8 a {6 {4 @i {4 @j (b (a c))}} (b c)}}
|
||||
@R = (* @Nil)
|
||||
@S = (a ({4 @Q {4 @R (a b)}} b))
|
||||
@V = {8 a {6 {4 @o {4 @p (b (a c))}} (b c)}}
|
||||
@W = (* @Nil)
|
||||
@b = {8 {15 a {17 b c}} {6 {19 {4 @b {4 @c (d (e (f g)))}} h} ({5 d {7 i (j (c {2 @F {2 @G ({4 {8 k {6 l m}} {4 * m}} ({4 {8 a {6 g n}} {4 * n}} o))}}))}} ({9 e {11 k j}} ({13 f {4 @d {4 @e (i ({4 {8 b {6 h p}} {4 * p}} l))}}} o)))}}
|
||||
@c = (* @s)
|
||||
@d = {8 a {6 b (c ({4 @b {4 @c (c (a (b d)))}} d))}}
|
||||
@e = (* (a a))
|
||||
@i = {8 a {6 {4 @V {4 @W (b {4 @i {4 @j (c (d e))}})}} ({21 {23 b f} c} ({4 @d {4 @e (f (a d))}} e))}}
|
||||
@j = (* (a a))
|
||||
@main = (a (b c))
|
||||
& @S ~ (a (d c))
|
||||
& @Map ~ (b (@Pure d))
|
||||
@o = {8 a {6 {4 @V {4 @W (b c)}} ({23 b d} ({4 @d {4 @e (d (a e))}} {4 {8 e {6 c f}} {4 * f}}))}}
|
||||
@p = (* @t)
|
||||
@s = (a (b {4 {8 a {6 b c}} {4 * c}}))
|
||||
@t = (a {4 {8 a {6 @Nil b}} {4 * b}})
|
||||
|
||||
@ -1,16 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/list_reverse.hvm
|
||||
---
|
||||
@8 = {6 a {4 {2 @8 {2 @nil {2 @C {2 @B ({2 {6 a {4 @nil b}} {2 * b}} c)}}}} c}}
|
||||
@B = (a a)
|
||||
@C = {6 a {4 {2 @C {2 @B (b c)}} (b {2 {6 a {4 c d}} {2 * d}})}}
|
||||
@cons = (a (b {2 {6 a {4 b c}} {2 * c}}))
|
||||
@main = a
|
||||
& @reverse ~ (b a)
|
||||
& @cons ~ (#3 (c b))
|
||||
& @cons ~ (#2 (d c))
|
||||
& @cons ~ (#1 (@nil d))
|
||||
@nil = {2 * {2 a a}}
|
||||
@reverse = ({2 @8 {2 @nil a}} a)
|
||||
|
||||
@ -1,8 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/long_name.hvm
|
||||
---
|
||||
@WowThis_is = (a a)
|
||||
@main = (* a)
|
||||
& @WowThis_is ~ (* a)
|
||||
|
||||
@ -1,5 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/match_adt_non_exhaustive.hvm
|
||||
---
|
||||
In definition 'main$match$1$F0': Non-exhaustive pattern. Hint: (main$match$1$F0 Some) not covered.
|
||||
@ -1,11 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/match_dup_and_reconstruction.hvm
|
||||
---
|
||||
@6 = {4 a (b [b a])}
|
||||
@Boxed = (a {2 {4 a b} b})
|
||||
@Got = ({3 a {2 @6 (a b)}} b)
|
||||
@main = a
|
||||
& @Got ~ (b a)
|
||||
& @Boxed ~ (#10 b)
|
||||
|
||||
@ -1,6 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/match_mult_linearization.hvm
|
||||
---
|
||||
@main = (?<((<+ a <+ b c>> (a (b c))) (<+ d <+ e <+ f g>>> (d (e (f g))))) h> h)
|
||||
|
||||
@ -1,8 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/match_num_explicit_bind.hvm
|
||||
---
|
||||
@main = a
|
||||
& @pred ~ (#4 a)
|
||||
@pred = (?<(#0 (a a)) b> b)
|
||||
|
||||
@ -1,8 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/match_tup.hvm
|
||||
---
|
||||
@3 = ([<+ a b> a] b)
|
||||
@main = a
|
||||
& @3 ~ ([#7 #3] a)
|
||||
|
||||
@ -1,15 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/nested_adt_match.hvm
|
||||
---
|
||||
@4 = ({2 @8 {2 @6 a}} a)
|
||||
@6 = #0
|
||||
@8 = {4 {2 @C {2 @A a}} a}
|
||||
@A = #0
|
||||
@C = {4 a a}
|
||||
@Some = (a {2 {4 a b} {2 * b}})
|
||||
@main = a
|
||||
& @4 ~ (b a)
|
||||
& @Some ~ (c b)
|
||||
& @Some ~ (#1 c)
|
||||
|
||||
@ -1,5 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/non_exhaustive_and.hvm
|
||||
---
|
||||
In definition 'Bool.and': Non-exhaustive pattern. Hint: (Bool.and F T) not covered.
|
||||
@ -1,5 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/non_exhaustive_different_types.hvm
|
||||
---
|
||||
In definition 'foo': Non-exhaustive pattern. Hint: (foo f1 f2 t3 f4) not covered.
|
||||
@ -1,5 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/non_exhaustive_pattern.hvm
|
||||
---
|
||||
In definition 'Foo': Non-exhaustive pattern. Hint: (Foo A A A A) not covered.
|
||||
@ -1,5 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/non_exhaustive_tree.hvm
|
||||
---
|
||||
In definition 'Warp': Non-exhaustive pattern. Hint: (Warp _ Both Leaf) not covered.
|
||||
@ -1,13 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/num_pattern_with_var.hvm
|
||||
---
|
||||
@5 = (* #0)
|
||||
@6 = #0
|
||||
@7 = (a a)
|
||||
@B = (?<(@6 @7) a> a)
|
||||
@Foo = ({2 @5 {2 @B a}} a)
|
||||
@main = a
|
||||
& @Foo ~ (@true (#3 a))
|
||||
@true = {2 * {2 a a}}
|
||||
|
||||
@ -1,10 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/repeated_name_trucation.hvm
|
||||
---
|
||||
@2 = (a a)
|
||||
@4 = (* @long_name_)
|
||||
@long_name_ = (* @4)
|
||||
@main = a
|
||||
& @long_name_ ~ (@2 a)
|
||||
|
||||
@ -1,14 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/scrutinee_reconstruction.hvm
|
||||
---
|
||||
@7 = (* (a a))
|
||||
@8 = {4 * @A}
|
||||
@A = (a (* a))
|
||||
@None = {2 * {2 a a}}
|
||||
@Option.or = ({3 a {2 @8 {2 @7 (a b)}}} b)
|
||||
@Some = (a {2 {4 a b} {2 * b}})
|
||||
@main = a
|
||||
& @Option.or ~ (b (@None a))
|
||||
& @Some ~ (#5 b)
|
||||
|
||||
@ -1,8 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/snd.hvm
|
||||
---
|
||||
@4 = ([* a] a)
|
||||
@main = a
|
||||
& @4 ~ ([#0 #42] a)
|
||||
|
||||
@ -1,6 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/spacing.hvm
|
||||
---
|
||||
@main = ({3 a (a b)} b)
|
||||
|
||||
@ -1,6 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/spacing2.hvm
|
||||
---
|
||||
@main = (a a)
|
||||
|
||||
@ -1,14 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/str.hvm
|
||||
---
|
||||
@SCons = (a (b {2 {6 a {4 b c}} {2 * c}}))
|
||||
@SNil = {2 * {2 a a}}
|
||||
@main = a
|
||||
& @SCons ~ (#109 (b a))
|
||||
& @SCons ~ (#97 (c b))
|
||||
& @SCons ~ (#105 (d c))
|
||||
& @SCons ~ (#110 (e d))
|
||||
& @SCons ~ (#32 (f e))
|
||||
& @SCons ~ (#61 (@SNil f))
|
||||
|
||||
@ -1,11 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/sum_predicates.hvm
|
||||
---
|
||||
@3 = (?<(#0 (a a)) b> b)
|
||||
@4 = (a (<+ a b> b))
|
||||
@5 = (a (?<((b b) @4) (a c)> c))
|
||||
@main = a
|
||||
& @sum_pred ~ (#8 (#5 a))
|
||||
@sum_pred = (?<(@3 @5) a> a)
|
||||
|
||||
@ -1,6 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/tagged_dup.hvm
|
||||
---
|
||||
@main = (a a)
|
||||
|
||||
@ -1,6 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/tagged_lam.hvm
|
||||
---
|
||||
@main = [#3 #4]
|
||||
|
||||
@ -1,10 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/tagged_sup.hvm
|
||||
---
|
||||
@a = {3 (a a) (b b)}
|
||||
@b = {3 (a a) (b b)}
|
||||
@c = {5 (a a) (b b)}
|
||||
@main = a
|
||||
& @a ~ (@b (@c a))
|
||||
|
||||
@ -1,6 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/unapplied_eta.hvm
|
||||
---
|
||||
@main = (a a)
|
||||
|
||||
@ -1,8 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/var_shadows_ref.hvm
|
||||
---
|
||||
@a = (a a)
|
||||
@main = a
|
||||
& @a ~ ((b b) a)
|
||||
|
||||
@ -1,12 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/weekday.hvm
|
||||
---
|
||||
@J = {2 a {2 * a}}
|
||||
@K = {2 * @J}
|
||||
@L = {2 * @K}
|
||||
@M = {2 * @L}
|
||||
@N = {2 * @M}
|
||||
@Saturday = {2 * @N}
|
||||
@main = @Saturday
|
||||
|
||||
@ -1,6 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file_o0/addition_const.hvm
|
||||
---
|
||||
@main = #3
|
||||
|
||||
@ -1,20 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file_o0/match_num_all_patterns.hvm
|
||||
---
|
||||
@B = (?<(#0 (a a)) b> b)
|
||||
@D = (<+ #1 <- #1 a>> a)
|
||||
@E = (<+ #1 <- #1 a>> a)
|
||||
@F = (<+ #2 a> a)
|
||||
@main = #0
|
||||
@succ_var = (?<(#0 (a a)) b> b)
|
||||
@succ_var_z = (?<(#1 @F) a> a)
|
||||
@succ_zero = (?<(#0 (a a)) b> b)
|
||||
@succ_zero_ = (?<(#0 (a a)) b> b)
|
||||
@var_succ = (a a)
|
||||
@var_zero = (a a)
|
||||
@zero_succ = (?<(#0 (a a)) b> b)
|
||||
@zero_succ_ = (?<(#0 (a a)) b> b)
|
||||
@zero_var = (?<(#0 @D) a> a)
|
||||
@zero_var_s = (?<(#0 @E) a> a)
|
||||
|
||||
@ -1,8 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file_o0/match_num_unscoped_lambda.hvm
|
||||
---
|
||||
@lambda_in = (?<((a a) (b (c b))) (c d)> d)
|
||||
@lambda_out = (?<(a (b b)) c> (a c))
|
||||
@main = *
|
||||
|
||||
@ -1,18 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file_o0/redex_order.hvm
|
||||
---
|
||||
@a = (a a)
|
||||
@b = (a a)
|
||||
@c = (a a)
|
||||
@foo = (a b)
|
||||
& @a ~ (c b)
|
||||
& @b ~ (d c)
|
||||
& @c ~ (a d)
|
||||
@foo2 = a
|
||||
& @a ~ (b a)
|
||||
& @b ~ (c b)
|
||||
& @c ~ (#0 c)
|
||||
@main = a
|
||||
& @foo ~ (@foo2 a)
|
||||
|
||||
@ -1,14 +0,0 @@
|
||||
---
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file_o0/ref_to_ref.hvm
|
||||
---
|
||||
@A1 = @A2
|
||||
@A2 = #1
|
||||
@B1 = @B2
|
||||
@B2 = @B3
|
||||
@B3 = @B4
|
||||
@B4 = @B5
|
||||
@B5 = #2
|
||||
@C1 = @B4
|
||||
@main = [[@A1 @B1] @C1]
|
||||
|
||||
Loading…
Reference in New Issue
Block a user