From cb54d53f06cb8d047e1460f0a9db63a594c5baf9 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 26 Oct 2017 17:27:12 -0400 Subject: - Fixed tests for analysis of common procedures. --- new-luxc/source/luxc/analyser/procedure/common.lux | 3 ++- new-luxc/test/test/luxc/analyser/procedure/common.lux | 17 +++++++++-------- 2 files changed, 11 insertions(+), 9 deletions(-) (limited to 'new-luxc') diff --git a/new-luxc/source/luxc/analyser/procedure/common.lux b/new-luxc/source/luxc/analyser/procedure/common.lux index 04aa35e05..6c2e810b5 100644 --- a/new-luxc/source/luxc/analyser/procedure/common.lux +++ b/new-luxc/source/luxc/analyser/procedure/common.lux @@ -214,7 +214,8 @@ (install "index" (trinary Text Text Nat (type (Maybe Nat)))) (install "size" (unary Text Nat)) (install "hash" (unary Text Nat)) - (install "replace" (trinary Text Text Text Text)) + (install "replace-once" (trinary Text Text Text Text)) + (install "replace-all" (trinary Text Text Text Text)) (install "char" (binary Text Nat Nat)) (install "clip" (trinary Text Nat Nat Text)) ))) diff --git a/new-luxc/test/test/luxc/analyser/procedure/common.lux b/new-luxc/test/test/luxc/analyser/procedure/common.lux index 208076d6e..8649de3d7 100644 --- a/new-luxc/test/test/luxc/analyser/procedure/common.lux +++ b/new-luxc/test/test/luxc/analyser/procedure/common.lux @@ -26,13 +26,14 @@ (do-template [ ] [(def: ( procedure params output-type) (-> Text (List Code) Type Bool) - (|> (&;with-expected-type output-type - (@;analyse-procedure analyse procedure params)) + (|> (&;with-scope + (&;with-expected-type output-type + (@;analyse-procedure analyse procedure params))) (meta;run (init-compiler [])) (case> (#e;Success _) - (#e;Error _) + (#e;Error error) )))] [check-success+ true false] @@ -52,7 +53,7 @@ (check-failure+ "lux is" (list primC antiC) Bool)) (test "Can 'try' risky IO computations." (check-success+ "lux try" - (list (` ((~' _lux_function) (~' _) (~' _) (~ primC)))) + (list (` ("lux function" (~' _) (~' _) (~ primC)))) (type (Either Text primT)))) )))) @@ -169,7 +170,7 @@ (test "Can scale degree." (check-success+ "lux deg scale" (list subjectC natC) Deg)) (test "Can calculate the reciprocal of a natural number." - (check-success+ "lux deg reciprocal" (list natC) Deg)) + (check-success+ "lux deg reciprocal" (list subjectC natC) Deg)) )))) (context: "Frac procedures" @@ -212,7 +213,7 @@ (test "Can convert frac number to text." (check-success+ "lux frac encode" (list subjectC) Text)) (test "Can convert text to frac number." - (check-success+ "lux frac encode" (list encodedC) (type (Maybe Frac)))) + (check-success+ "lux frac decode" (list encodedC) (type (Maybe Frac)))) )))) (context: "Text procedures" @@ -395,12 +396,12 @@ (check-success+ "lux process concurrency-level" (list) Nat)) (test "Can run an IO computation concurrently." (check-success+ "lux process future" - (list (` ((~' _lux_function) (~' _) (~' _) (~ primC)))) + (list (` ("lux function" (~' _) (~' _) (~ primC)))) Unit)) (test "Can schedule an IO computation to run concurrently at some future time." (check-success+ "lux process schedule" (list timeC - (` ((~' _lux_function) (~' _) (~' _) (~ primC)))) + (` ("lux function" (~' _) (~' _) (~ primC)))) Unit)) )))) -- cgit v1.2.3