From 084e3c400410e954b633a07c98f32ecfa62f1ec8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 26 Apr 2019 21:37:40 -0400
Subject: Ported reference tests.

---
 .../test/test/luxc/lang/translation/reference.lux  | 86 ----------------------
 new-luxc/test/tests.lux                            | 28 -------
 2 files changed, 114 deletions(-)
 delete mode 100644 new-luxc/test/test/luxc/lang/translation/reference.lux
 delete mode 100644 new-luxc/test/tests.lux

(limited to 'new-luxc/test')

diff --git a/new-luxc/test/test/luxc/lang/translation/reference.lux b/new-luxc/test/test/luxc/lang/translation/reference.lux
deleted file mode 100644
index 18205a560..000000000
--- a/new-luxc/test/test/luxc/lang/translation/reference.lux
+++ /dev/null
@@ -1,86 +0,0 @@
-(.module:
-  [lux #*
-   [control
-    [monad (#+ do)]
-    pipe]
-   [data
-    ["." number]]
-   [compiler
-    [default
-     ["." reference]
-     [phase
-      ["." synthesis]]]]
-   [math
-    ["r" random (#+ Random)]]
-   test]
-  [test
-   [luxc
-    ["." common (#+ Runner Definer)]]]
-  [//
-   ["&" function]])
-
-(def: name
-  (Random Name)
-  (let [name-part (r.ascii/upper-alpha 5)]
-    [(r.and name-part name-part)]))
-
-(def: (definitions-spec define)
-  (-> Definer Test)
-  (do r.Monad<Random>
-    [name ..name
-     value &.safe-frac]
-    (test "Can refer to definitions."
-          (|> (define name (synthesis.f64 value))
-              (&.check value)))))
-
-(def: (variables-spec run)
-  (-> Runner Test)
-  (do r.Monad<Random>
-    [register (|> r.nat (:: @ map (n/% 100)))
-     value &.safe-frac]
-    (test "Can refer to local variables/registers."
-          (|> (run (synthesis.branch/let [(synthesis.f64 value)
-                                          register
-                                          (synthesis.variable/local register)]))
-              (&.check value)))))
-
-(def: (references-spec run define)
-  (-> Runner Definer Test)
-  (seq (definitions-spec define)
-       (variables-spec run)))
-
-(context: "[JVM] References."
-  (<| (times 100)
-      (references-spec common.run-jvm common.def-jvm)))
-
-## (context: "[JS] References."
-##   (<| (times 100)
-##       (references-spec common.run-js common.def-js)))
-
-## (context: "[Lua] References."
-##   (<| (times 100)
-##       (references-spec common.run-lua common.def-lua)))
-
-## (context: "[Ruby] References."
-##   (<| (times 100)
-##       (references-spec common.run-ruby common.def-ruby)))
-
-## (context: "[Python] References."
-##   (<| (times 100)
-##       (references-spec common.run-python common.def-python)))
-
-## (context: "[R] References."
-##   (<| (times 100)
-##       (references-spec common.run-r common.def-r)))
-
-## (context: "[Scheme] References."
-##   (<| (times 100)
-##       (references-spec common.run-scheme common.def-scheme)))
-
-## (context: "[Common Lisp] References."
-##   (<| (times 100)
-##       (references-spec common.run-common-lisp common.def-common-lisp)))
-
-## (context: "[PHP] References."
-##   (<| (times 100)
-##       (references-spec common.run-php common.def-php)))
diff --git a/new-luxc/test/tests.lux b/new-luxc/test/tests.lux
deleted file mode 100644
index 04362d4d1..000000000
--- a/new-luxc/test/tests.lux
+++ /dev/null
@@ -1,28 +0,0 @@
-(.module:
-  [lux
-   [cli (#+ program:)]
-   ["." test]]
-  [test
-   [luxc
-    [lang
-     [translation
-      ["_.T" primitive]
-      ["_.T" structure]
-      ["_.T" function]
-      ["_.T" reference]
-      ["_.T" case]
-      ["_.T" common]
-      ## ["_.T" jvm]
-      ## ["_.T" js]
-      ## ["_.T" lua]
-      ## ["_.T" ruby]
-      ## ["_.T" python]
-      ## ["_.T" r]
-      ## ["_.T" scheme]
-      ## ["_.T" common-lisp]
-      ## ["_.T" php]
-      ]]]]
-  )
-
-(program: args
-  (test.run))
-- 
cgit v1.2.3