diff options
| author | Eduardo Julian | 2018-07-11 21:45:38 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-11 21:45:38 -0400 |
| commit | f76922dfef6e88db854a27dc17987ccdc9736d6a (patch) | |
| tree | 5c3dc4b67b6bddcbb31152ae2ace4baf9c5a3fe3 /stdlib/test | |
| parent | 0097e306a1e3b53e4cda304aac82b8778036eddf (diff) | |
- Removed stale machinery for "lux int min" and "lux int max".
Diffstat (limited to 'stdlib/test')
| -rw-r--r-- | stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux b/stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux index acb58e426..9b51084fe 100644 --- a/stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux +++ b/stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux @@ -101,13 +101,7 @@ (check-success+ "lux int =" (list subjectC paramC) Bool)) (test "Can compare integers." (check-success+ "lux int <" (list subjectC paramC) Bool)) - (test "Can obtain minimum integer." - (check-success+ "lux int min" (list) Int)) - (test "Can obtain maximum integer." - (check-success+ "lux int max" (list) Int)) - (test "Can convert integer to natural number." - (check-success+ "lux int to-nat" (list subjectC) Nat)) - (test "Can convert integer to frac number." + (test "Can convert integer to fraction." (check-success+ "lux int to-frac" (list subjectC) Frac)) (test "Can convert integer to text." (check-success+ "lux int char" (list subjectC) Text)) |