diff options
Diffstat (limited to 'new-luxc/test')
4 files changed, 10 insertions, 10 deletions
diff --git a/new-luxc/test/test/luxc/analyser/reference.lux b/new-luxc/test/test/luxc/analyser/reference.lux index 33d93e415..9d22088b5 100644 --- a/new-luxc/test/test/luxc/analyser/reference.lux +++ b/new-luxc/test/test/luxc/analyser/reference.lux @@ -23,18 +23,18 @@ scope-name (r;text +5) var-name (r;text +5)] ($_ seq - (test "Can analyse relative reference." + (test "Can analyse variable." (|> (&env;with-scope scope-name (&env;with-local [var-name ref-type] (@common;with-unknown-type (@;analyse-reference ["" var-name])))) (macro;run (init-compiler [])) - (case> (#R;Success [_type (#~;Relative idx)]) + (case> (#R;Success [_type (#~;Variable idx)]) (Type/= ref-type _type) _ false))) - (test "Can analyse absolute reference." + (test "Can analyse definition." (|> (do Monad<Lux> [_ (&module;create +0 module-name) _ (&module;define [module-name var-name] @@ -42,7 +42,7 @@ (@common;with-unknown-type (@;analyse-reference [module-name var-name]))) (macro;run (init-compiler [])) - (case> (#R;Success [_type (#~;Absolute idx)]) + (case> (#R;Success [_type (#~;Definition idx)]) (Type/= ref-type _type) _ diff --git a/new-luxc/test/test/luxc/synthesizer/case/special.lux b/new-luxc/test/test/luxc/synthesizer/case/special.lux index fe5ad20ac..cf2ab9372 100644 --- a/new-luxc/test/test/luxc/synthesizer/case/special.lux +++ b/new-luxc/test/test/luxc/synthesizer/case/special.lux @@ -21,7 +21,7 @@ temp r;nat #let [maskA (#la;Case maskedA (list [(#la;BindP temp) - (#la;Relative (#;Local temp))]))]] + (#la;Variable (#;Local temp))]))]] (test "Dummy variables created to mask expressions get eliminated during synthesis." (|> (synthesizer;synthesize maskA) (corresponds? maskedA)))) diff --git a/new-luxc/test/test/luxc/synthesizer/function.lux b/new-luxc/test/test/luxc/synthesizer/function.lux index acc39ce16..c9d3befee 100644 --- a/new-luxc/test/test/luxc/synthesizer/function.lux +++ b/new-luxc/test/test/luxc/synthesizer/function.lux @@ -85,7 +85,7 @@ [chosen (pick (list;size global-env))] (wrap [num-args (assume (D;get chosen resolver)) - (#la;Relative (#;Captured chosen))])))))))] + (#la;Variable (#;Captured chosen))])))))))] (wrap [total-args prediction (#la;Function (make-scope absolute-env) bodyA)]) )) @@ -102,7 +102,7 @@ [chosen (|> r;nat (:: @ map (|>. (n.% +100) (n.max +2))))] (wrap [num-args (|> chosen (n.+ (n.dec num-args)) nat-to-int) - (#la;Relative (#;Local chosen))]))))) + (#la;Variable (#;Local chosen))]))))) (context: "Function definition." [[args1 prediction1 function1] gen-function//constant diff --git a/new-luxc/test/test/luxc/synthesizer/loop.lux b/new-luxc/test/test/luxc/synthesizer/loop.lux index abc06dbb8..386f14cfa 100644 --- a/new-luxc/test/test/luxc/synthesizer/loop.lux +++ b/new-luxc/test/test/luxc/synthesizer/loop.lux @@ -103,13 +103,13 @@ [arity (|> r;nat (:: @ map (|>. (n.% +10) (n.max +1)))) recur? r;bool outputS (if recur? - (wrap (make-apply (#la;Relative (#;Local +0)) + (wrap (make-apply (#la;Variable (#;Local +0)) (list;repeat arity #la;Unit))) (do @ [plus-or-minus? r;bool how-much (|> r;nat (:: @ map (|>. (n.% arity) (n.max +1)))) #let [shift (if plus-or-minus? n.+ n.-)]] - (wrap (make-apply (#la;Relative (#;Local +0)) + (wrap (make-apply (#la;Variable (#;Local +0)) (list;repeat (shift how-much arity) #la;Unit))))) bodyS (gen-body arity outputS)] (wrap [recur? arity (make-function arity bodyS)]))) @@ -120,7 +120,7 @@ [arity (|> r;nat (:: @ map (|>. (n.% +10) (n.max +1)))) recur? r;bool self-ref? r;bool - #let [selfA (#la;Relative (#;Local +0)) + #let [selfA (#la;Variable (#;Local +0)) argA (if self-ref? selfA #la;Unit)] outputS (if recur? (wrap (make-apply selfA (list;repeat arity argA))) |