aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/test
diff options
context:
space:
mode:
authorEduardo Julian2017-10-04 22:02:41 -0400
committerEduardo Julian2017-10-04 22:02:41 -0400
commit29228f5c601d8d5d42aa5352566a609bf4259d11 (patch)
tree4bd9ee826f07c131e921eaf8e31d9efe309b9c6f /new-luxc/test
parent36b89b978e8bc6f084e67a11207488ea2fe25c72 (diff)
- WIP: JVM host procedure analysis.
Diffstat (limited to 'new-luxc/test')
-rw-r--r--new-luxc/test/test/luxc/analyser/procedure/common.lux202
1 files changed, 101 insertions, 101 deletions
diff --git a/new-luxc/test/test/luxc/analyser/procedure/common.lux b/new-luxc/test/test/luxc/analyser/procedure/common.lux
index 3947a738e..5e834746a 100644
--- a/new-luxc/test/test/luxc/analyser/procedure/common.lux
+++ b/new-luxc/test/test/luxc/analyser/procedure/common.lux
@@ -60,19 +60,19 @@
paramC (|> r;nat (:: @ map code;nat))]
($_ seq
(test "Can count the number of 1 bits in a bit pattern."
- (check-success+ "bit count" (list subjectC) Nat))
+ (check-success+ "lux bit count" (list subjectC) Nat))
(test "Can perform bit 'and'."
- (check-success+ "bit and" (list subjectC paramC) Nat))
+ (check-success+ "lux bit and" (list subjectC paramC) Nat))
(test "Can perform bit 'or'."
- (check-success+ "bit or" (list subjectC paramC) Nat))
+ (check-success+ "lux bit or" (list subjectC paramC) Nat))
(test "Can perform bit 'xor'."
- (check-success+ "bit xor" (list subjectC paramC) Nat))
+ (check-success+ "lux bit xor" (list subjectC paramC) Nat))
(test "Can shift bit pattern to the left."
- (check-success+ "bit shift-left" (list subjectC paramC) Nat))
+ (check-success+ "lux bit shift-left" (list subjectC paramC) Nat))
(test "Can shift bit pattern to the right."
- (check-success+ "bit unsigned-shift-right" (list subjectC paramC) Nat))
+ (check-success+ "lux bit unsigned-shift-right" (list subjectC paramC) Nat))
(test "Can shift signed bit pattern to the right."
- (check-success+ "bit shift-right" (list signedC paramC) Int))
+ (check-success+ "lux bit shift-right" (list signedC paramC) Int))
))
(context: "Nat procedures"
@@ -80,27 +80,27 @@
paramC (|> r;nat (:: @ map code;nat))]
($_ seq
(test "Can add natural numbers."
- (check-success+ "nat +" (list subjectC paramC) Nat))
+ (check-success+ "lux nat +" (list subjectC paramC) Nat))
(test "Can subtract natural numbers."
- (check-success+ "nat -" (list subjectC paramC) Nat))
+ (check-success+ "lux nat -" (list subjectC paramC) Nat))
(test "Can multiply natural numbers."
- (check-success+ "nat *" (list subjectC paramC) Nat))
+ (check-success+ "lux nat *" (list subjectC paramC) Nat))
(test "Can divide natural numbers."
- (check-success+ "nat /" (list subjectC paramC) Nat))
+ (check-success+ "lux nat /" (list subjectC paramC) Nat))
(test "Can calculate remainder of natural numbers."
- (check-success+ "nat %" (list subjectC paramC) Nat))
+ (check-success+ "lux nat %" (list subjectC paramC) Nat))
(test "Can test equality of natural numbers."
- (check-success+ "nat =" (list subjectC paramC) Bool))
+ (check-success+ "lux nat =" (list subjectC paramC) Bool))
(test "Can compare natural numbers."
- (check-success+ "nat <" (list subjectC paramC) Bool))
+ (check-success+ "lux nat <" (list subjectC paramC) Bool))
(test "Can obtain minimum natural number."
- (check-success+ "nat min" (list) Nat))
+ (check-success+ "lux nat min" (list) Nat))
(test "Can obtain maximum natural number."
- (check-success+ "nat max" (list) Nat))
+ (check-success+ "lux nat max" (list) Nat))
(test "Can convert natural number to integer."
- (check-success+ "nat to-int" (list subjectC) Int))
+ (check-success+ "lux nat to-int" (list subjectC) Int))
(test "Can convert natural number to text."
- (check-success+ "nat to-text" (list subjectC) Text))
+ (check-success+ "lux nat to-text" (list subjectC) Text))
))
(context: "Int procedures"
@@ -108,27 +108,27 @@
paramC (|> r;int (:: @ map code;int))]
($_ seq
(test "Can add integers."
- (check-success+ "int +" (list subjectC paramC) Int))
+ (check-success+ "lux int +" (list subjectC paramC) Int))
(test "Can subtract integers."
- (check-success+ "int -" (list subjectC paramC) Int))
+ (check-success+ "lux int -" (list subjectC paramC) Int))
(test "Can multiply integers."
- (check-success+ "int *" (list subjectC paramC) Int))
+ (check-success+ "lux int *" (list subjectC paramC) Int))
(test "Can divide integers."
- (check-success+ "int /" (list subjectC paramC) Int))
+ (check-success+ "lux int /" (list subjectC paramC) Int))
(test "Can calculate remainder of integers."
- (check-success+ "int %" (list subjectC paramC) Int))
+ (check-success+ "lux int %" (list subjectC paramC) Int))
(test "Can test equality of integers."
- (check-success+ "int =" (list subjectC paramC) Bool))
+ (check-success+ "lux int =" (list subjectC paramC) Bool))
(test "Can compare integers."
- (check-success+ "int <" (list subjectC paramC) Bool))
+ (check-success+ "lux int <" (list subjectC paramC) Bool))
(test "Can obtain minimum integer."
- (check-success+ "int min" (list) Int))
+ (check-success+ "lux int min" (list) Int))
(test "Can obtain maximum integer."
- (check-success+ "int max" (list) Int))
+ (check-success+ "lux int max" (list) Int))
(test "Can convert integer to natural number."
- (check-success+ "int to-nat" (list subjectC) Nat))
+ (check-success+ "lux int to-nat" (list subjectC) Nat))
(test "Can convert integer to frac number."
- (check-success+ "int to-frac" (list subjectC) Frac))
+ (check-success+ "lux int to-frac" (list subjectC) Frac))
))
(context: "Deg procedures"
@@ -137,29 +137,29 @@
natC (|> r;nat (:: @ map code;nat))]
($_ seq
(test "Can add degrees."
- (check-success+ "deg +" (list subjectC paramC) Deg))
+ (check-success+ "lux deg +" (list subjectC paramC) Deg))
(test "Can subtract degrees."
- (check-success+ "deg -" (list subjectC paramC) Deg))
+ (check-success+ "lux deg -" (list subjectC paramC) Deg))
(test "Can multiply degrees."
- (check-success+ "deg *" (list subjectC paramC) Deg))
+ (check-success+ "lux deg *" (list subjectC paramC) Deg))
(test "Can divide degrees."
- (check-success+ "deg /" (list subjectC paramC) Deg))
+ (check-success+ "lux deg /" (list subjectC paramC) Deg))
(test "Can calculate remainder of degrees."
- (check-success+ "deg %" (list subjectC paramC) Deg))
+ (check-success+ "lux deg %" (list subjectC paramC) Deg))
(test "Can test equality of degrees."
- (check-success+ "deg =" (list subjectC paramC) Bool))
+ (check-success+ "lux deg =" (list subjectC paramC) Bool))
(test "Can compare degrees."
- (check-success+ "deg <" (list subjectC paramC) Bool))
+ (check-success+ "lux deg <" (list subjectC paramC) Bool))
(test "Can obtain minimum degree."
- (check-success+ "deg min" (list) Deg))
+ (check-success+ "lux deg min" (list) Deg))
(test "Can obtain maximum degree."
- (check-success+ "deg max" (list) Deg))
+ (check-success+ "lux deg max" (list) Deg))
(test "Can convert degree to frac number."
- (check-success+ "deg to-frac" (list subjectC) Frac))
+ (check-success+ "lux deg to-frac" (list subjectC) Frac))
(test "Can scale degree."
- (check-success+ "deg scale" (list subjectC natC) Deg))
+ (check-success+ "lux deg scale" (list subjectC natC) Deg))
(test "Can calculate the reciprocal of a natural number."
- (check-success+ "deg reciprocal" (list natC) Deg))
+ (check-success+ "lux deg reciprocal" (list natC) Deg))
))
(context: "Frac procedures"
@@ -168,39 +168,39 @@
encodedC (|> (r;text +5) (:: @ map code;text))]
($_ seq
(test "Can add frac numbers."
- (check-success+ "frac +" (list subjectC paramC) Frac))
+ (check-success+ "lux frac +" (list subjectC paramC) Frac))
(test "Can subtract frac numbers."
- (check-success+ "frac -" (list subjectC paramC) Frac))
+ (check-success+ "lux frac -" (list subjectC paramC) Frac))
(test "Can multiply frac numbers."
- (check-success+ "frac *" (list subjectC paramC) Frac))
+ (check-success+ "lux frac *" (list subjectC paramC) Frac))
(test "Can divide frac numbers."
- (check-success+ "frac /" (list subjectC paramC) Frac))
+ (check-success+ "lux frac /" (list subjectC paramC) Frac))
(test "Can calculate remainder of frac numbers."
- (check-success+ "frac %" (list subjectC paramC) Frac))
+ (check-success+ "lux frac %" (list subjectC paramC) Frac))
(test "Can test equality of frac numbers."
- (check-success+ "frac =" (list subjectC paramC) Bool))
+ (check-success+ "lux frac =" (list subjectC paramC) Bool))
(test "Can compare frac numbers."
- (check-success+ "frac <" (list subjectC paramC) Bool))
+ (check-success+ "lux frac <" (list subjectC paramC) Bool))
(test "Can obtain minimum frac number."
- (check-success+ "frac min" (list) Frac))
+ (check-success+ "lux frac min" (list) Frac))
(test "Can obtain maximum frac number."
- (check-success+ "frac max" (list) Frac))
+ (check-success+ "lux frac max" (list) Frac))
(test "Can obtain smallest frac number."
- (check-success+ "frac smallest" (list) Frac))
+ (check-success+ "lux frac smallest" (list) Frac))
(test "Can obtain not-a-number."
- (check-success+ "frac not-a-number" (list) Frac))
+ (check-success+ "lux frac not-a-number" (list) Frac))
(test "Can obtain positive infinity."
- (check-success+ "frac positive-infinity" (list) Frac))
+ (check-success+ "lux frac positive-infinity" (list) Frac))
(test "Can obtain negative infinity."
- (check-success+ "frac negative-infinity" (list) Frac))
+ (check-success+ "lux frac negative-infinity" (list) Frac))
(test "Can convert frac number to integer."
- (check-success+ "frac to-int" (list subjectC) Int))
+ (check-success+ "lux frac to-int" (list subjectC) Int))
(test "Can convert frac number to degree."
- (check-success+ "frac to-deg" (list subjectC) Deg))
+ (check-success+ "lux frac to-deg" (list subjectC) Deg))
(test "Can convert frac number to text."
- (check-success+ "frac encode" (list subjectC) Text))
+ (check-success+ "lux frac encode" (list subjectC) Text))
(test "Can convert text to frac number."
- (check-success+ "frac encode" (list encodedC) (type (Maybe Frac))))
+ (check-success+ "lux frac encode" (list encodedC) (type (Maybe Frac))))
))
(context: "Text procedures"
@@ -211,25 +211,25 @@
toC (|> r;nat (:: @ map code;nat))]
($_ seq
(test "Can test text equality."
- (check-success+ "text =" (list subjectC paramC) Bool))
+ (check-success+ "lux text =" (list subjectC paramC) Bool))
(test "Compare texts in lexicographical order."
- (check-success+ "text <" (list subjectC paramC) Bool))
+ (check-success+ "lux text <" (list subjectC paramC) Bool))
(test "Can prepend one text to another."
- (check-success+ "text prepend" (list subjectC paramC) Text))
+ (check-success+ "lux text prepend" (list subjectC paramC) Text))
(test "Can find the index of a piece of text inside a larger one that (may) contain it."
- (check-success+ "text index" (list subjectC paramC fromC) (type (Maybe Nat))))
+ (check-success+ "lux text index" (list subjectC paramC fromC) (type (Maybe Nat))))
(test "Can query the size/length of a text."
- (check-success+ "text size" (list subjectC) Nat))
+ (check-success+ "lux text size" (list subjectC) Nat))
(test "Can calculate a hash code for text."
- (check-success+ "text hash" (list subjectC) Nat))
+ (check-success+ "lux text hash" (list subjectC) Nat))
(test "Can replace a text inside of a larger one (once)."
- (check-success+ "text replace-once" (list subjectC paramC replacementC) Text))
+ (check-success+ "lux text replace-once" (list subjectC paramC replacementC) Text))
(test "Can replace a text inside of a larger one (all times)."
- (check-success+ "text replace-all" (list subjectC paramC replacementC) Text))
+ (check-success+ "lux text replace-all" (list subjectC paramC replacementC) Text))
(test "Can obtain the character code of a text at a given index."
- (check-success+ "text char" (list subjectC fromC) Nat))
+ (check-success+ "lux text char" (list subjectC fromC) Nat))
(test "Can clip a piece of text between 2 indices."
- (check-success+ "text clip" (list subjectC fromC toC) Text))
+ (check-success+ "lux text clip" (list subjectC fromC toC) Text))
))
(context: "Array procedures"
@@ -240,12 +240,12 @@
#let [arrayT (type (array;Array elemT))]]
($_ seq
(test "Can create arrays."
- (check-success+ "array new" (list sizeC) arrayT))
+ (check-success+ "lux array new" (list sizeC) arrayT))
(test "Can get a value inside an array."
(|> (&scope;with-scope ""
(&scope;with-local [var-name arrayT]
(&;with-expected-type elemT
- (@;analyse-procedure analyse "array get"
+ (@;analyse-procedure analyse "lux array get"
(list idxC
(code;symbol ["" var-name]))))))
(macro;run (init-compiler []))
@@ -258,7 +258,7 @@
(|> (&scope;with-scope ""
(&scope;with-local [var-name arrayT]
(&;with-expected-type arrayT
- (@;analyse-procedure analyse "array put"
+ (@;analyse-procedure analyse "lux array put"
(list idxC
elemC
(code;symbol ["" var-name]))))))
@@ -272,7 +272,7 @@
(|> (&scope;with-scope ""
(&scope;with-local [var-name arrayT]
(&;with-expected-type arrayT
- (@;analyse-procedure analyse "array remove"
+ (@;analyse-procedure analyse "lux array remove"
(list idxC
(code;symbol ["" var-name]))))))
(macro;run (init-compiler []))
@@ -285,7 +285,7 @@
(|> (&scope;with-scope ""
(&scope;with-local [var-name arrayT]
(&;with-expected-type Nat
- (@;analyse-procedure analyse "array size"
+ (@;analyse-procedure analyse "lux array size"
(list (code;symbol ["" var-name]))))))
(macro;run (init-compiler []))
(case> (#R;Success _)
@@ -302,28 +302,28 @@
[(test (format "Can calculate " <desc> ".")
(check-success+ <proc> (list subjectC) Frac))]
- ["math cos" "cosine"]
- ["math sin" "sine"]
- ["math tan" "tangent"]
- ["math acos" "inverse/arc cosine"]
- ["math asin" "inverse/arc sine"]
- ["math atan" "inverse/arc tangent"]
- ["math cosh" "hyperbolic cosine"]
- ["math sinh" "hyperbolic sine"]
- ["math tanh" "hyperbolic tangent"]
- ["math exp" "exponentiation"]
- ["math log" "logarithm"]
- ["math root2" "square root"]
- ["math root3" "cubic root"]
- ["math ceil" "ceiling"]
- ["math floor" "floor"]
- ["math round" "rounding"])
+ ["lux math cos" "cosine"]
+ ["lux math sin" "sine"]
+ ["lux math tan" "tangent"]
+ ["lux math acos" "inverse/arc cosine"]
+ ["lux math asin" "inverse/arc sine"]
+ ["lux math atan" "inverse/arc tangent"]
+ ["lux math cosh" "hyperbolic cosine"]
+ ["lux math sinh" "hyperbolic sine"]
+ ["lux math tanh" "hyperbolic tangent"]
+ ["lux math exp" "exponentiation"]
+ ["lux math log" "logarithm"]
+ ["lux math root2" "square root"]
+ ["lux math root3" "cubic root"]
+ ["lux math ceil" "ceiling"]
+ ["lux math floor" "floor"]
+ ["lux math round" "rounding"])
<binary> (do-template [<proc> <desc>]
[(test (format "Can calculate " <desc> ".")
(check-success+ <proc> (list subjectC paramC) Frac))]
- ["math atan2" "inverse/arc tangent (with 2 arguments)"]
- ["math pow" "power"])]
+ ["lux math atan2" "inverse/arc tangent (with 2 arguments)"]
+ ["lux math pow" "power"])]
($_ seq
<unary>
<binary>)))
@@ -336,12 +336,12 @@
#let [atomT (type (atom;Atom elemT))]]
($_ seq
(test "Can create atomic reference."
- (check-success+ "atom new" (list elemC) atomT))
+ (check-success+ "lux atom new" (list elemC) atomT))
(test "Can read the value of an atomic reference."
(|> (&scope;with-scope ""
(&scope;with-local [var-name atomT]
(&;with-expected-type elemT
- (@;analyse-procedure analyse "atom read"
+ (@;analyse-procedure analyse "lux atom read"
(list (code;symbol ["" var-name]))))))
(macro;run (init-compiler []))
(case> (#R;Success _)
@@ -353,7 +353,7 @@
(|> (&scope;with-scope ""
(&scope;with-local [var-name atomT]
(&;with-expected-type Bool
- (@;analyse-procedure analyse "atom compare-and-swap"
+ (@;analyse-procedure analyse "lux atom compare-and-swap"
(list elemC
elemC
(code;symbol ["" var-name]))))))
@@ -370,13 +370,13 @@
timeC (|> r;nat (:: @ map code;nat))]
($_ seq
(test "Can query the level of concurrency."
- (check-success+ "process concurrency-level" (list) Nat))
+ (check-success+ "lux process concurrency-level" (list) Nat))
(test "Can run an IO computation concurrently."
- (check-success+ "process future"
+ (check-success+ "lux process future"
(list (` ((~' _lux_function) (~' _) (~' _) (~ primC))))
Unit))
(test "Can schedule an IO computation to run concurrently at some future time."
- (check-success+ "process schedule"
+ (check-success+ "lux process schedule"
(list timeC
(` ((~' _lux_function) (~' _) (~' _) (~ primC))))
Unit))
@@ -387,11 +387,11 @@
exitC (|> r;nat (:: @ map code;nat))]
($_ seq
(test "Can log messages to standard output."
- (check-success+ "io log" (list logC) Unit))
+ (check-success+ "lux io log" (list logC) Unit))
(test "Can log messages to standard output."
- (check-success+ "io error" (list logC) Bottom))
+ (check-success+ "lux io error" (list logC) Bottom))
(test "Can log messages to standard output."
- (check-success+ "io exit" (list exitC) Bottom))
+ (check-success+ "lux io exit" (list exitC) Bottom))
(test "Can query the current time (as milliseconds since epoch)."
- (check-success+ "io current-time" (list) Int))
+ (check-success+ "lux io current-time" (list) Int))
))