diff options
Diffstat (limited to 'lux-jvm/test/test/luxc/lang/synthesis/loop.lux')
| -rw-r--r-- | lux-jvm/test/test/luxc/lang/synthesis/loop.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux index b923a4e90..ec5be459a 100644 --- a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux +++ b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux @@ -21,29 +21,29 @@ (-> ls.Arity ls.Synthesis Bit) (loop [exprS exprS] (case exprS - (^ [_ {#.Form (list [_ {#.Text "lux case"}] inputS pathS)}]) + (^ [_ {.#Form (list [_ {.#Text "lux case"}] inputS pathS)}]) (loop [pathS pathS] (case pathS - (^ [_ {#.Form (list [_ {#.Text "lux case alt"}] leftS rightS)}]) + (^ [_ {.#Form (list [_ {.#Text "lux case alt"}] leftS rightS)}]) (or (recur leftS) (recur rightS)) - (^ [_ {#.Form (list [_ {#.Text "lux case seq"}] leftS rightS)}]) + (^ [_ {.#Form (list [_ {.#Text "lux case seq"}] leftS rightS)}]) (recur rightS) - (^ [_ {#.Form (list [_ {#.Text "lux case exec"}] bodyS)}]) + (^ [_ {.#Form (list [_ {.#Text "lux case exec"}] bodyS)}]) (does-recursion? arity bodyS) _ #0)) - (^ [_ {#.Form (list& [_ {#.Text "lux recur"}] argsS)}]) + (^ [_ {.#Form (list& [_ {.#Text "lux recur"}] argsS)}]) (n/= arity (list.size argsS)) - (^ [_ {#.Form (list [_ {#.Text "lux let"}] register inputS bodyS)}]) + (^ [_ {.#Form (list [_ {.#Text "lux let"}] register inputS bodyS)}]) (recur bodyS) - (^ [_ {#.Form (list [_ {#.Text "lux if"}] inputS thenS elseS)}]) + (^ [_ {.#Form (list [_ {.#Text "lux if"}] inputS thenS elseS)}]) (or (recur thenS) (recur elseS)) @@ -132,7 +132,7 @@ (test "Can accurately identify (and then reify) tail recursion." (case (expressionS.synthesize extensionL.no-syntheses analysis) - (^ [_ {#.Form (list [_ {#.Text "lux function"}] [_ {#.Nat _arity}] [_ {#.Tuple _env}] _body)}]) + (^ [_ {.#Form (list [_ {.#Text "lux function"}] [_ {.#Nat _arity}] [_ {.#Tuple _env}] _body)}]) (|> _body (does-recursion? arity) (bit/= prediction) @@ -149,12 +149,12 @@ (test "Can reify loops." (case (expressionS.synthesize extensionL.no-syntheses (la.apply (list.repeat arity (' [])) analysis)) - (^ [_ {#.Form (list [_ {#.Text "lux loop"}] [_ {#.Nat in_register}] [_ {#.Tuple _inits}] _body)}]) + (^ [_ {.#Form (list [_ {.#Text "lux loop"}] [_ {.#Nat in_register}] [_ {.#Tuple _inits}] _body)}]) (and (n/= arity (list.size _inits)) (not (loopS.contains-self-reference? _body))) - (^ [_ {#.Form (list& [_ {#.Text "lux call"}] - [_ {#.Form (list [_ {#.Text "lux function"}] _arity _env _bodyS)}] + (^ [_ {.#Form (list& [_ {.#Text "lux call"}] + [_ {.#Form (list [_ {.#Text "lux function"}] _arity _env _bodyS)}] argsS)}]) (loopS.contains-self-reference? _bodyS) |