From a76985a039abfc877437e7eb9ec2f35c88391650 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 21 Jul 2018 21:04:12 -0400
Subject: Got rid of Object-Oriented Programming modules.

---
 stdlib/test/test/lux/type/object/interface.lux |  87 ----------------
 stdlib/test/test/lux/type/object/protocol.lux  | 133 -------------------------
 stdlib/test/tests.lux                          |   5 +-
 3 files changed, 1 insertion(+), 224 deletions(-)
 delete mode 100644 stdlib/test/test/lux/type/object/interface.lux
 delete mode 100644 stdlib/test/test/lux/type/object/protocol.lux

(limited to 'stdlib/test')

diff --git a/stdlib/test/test/lux/type/object/interface.lux b/stdlib/test/test/lux/type/object/interface.lux
deleted file mode 100644
index 9f1c25ad2..000000000
--- a/stdlib/test/test/lux/type/object/interface.lux
+++ /dev/null
@@ -1,87 +0,0 @@
-(.module:
-  [lux #*
-   [data
-    [collection
-     ["." list]]]
-   [type
-    [object
-     interface]]])
-
-## No parameters
-(interface: Counter
-  (inc! [] @)
-  (read! [] Nat))
-
-(class: NatC Counter
-  Nat
-
-  (def: inc!
-    (update@Counter inc))
-  
-  (def: read!
-    get@Counter))
-
-(interface: Resettable-Counter
-  #super Counter
-  (reset [] @))
-
-(class: NatRC Resettable-Counter
-  #super NatC
-  Any
-
-  (def: reset
-    (set@Counter +0)))
-
-## With parameters
-(interface: (Collection a)
-  (add [a] @)
-  (size [] Nat))
-
-(class: (ListC a) (Collection a)
-  (List a)
-
-  (def: (add elem)
-    (update@Collection (|>> (#.Cons elem))))
-
-  (def: size
-    (|>> get@Collection list.size)))
-
-(interface: (Iterable a)
-  #super (Collection a)
-  (enumerate [] (List a)))
-
-(class: (ListI a) (Iterable a)
-  #super (ListC a)
-  Any
-
-  (def: enumerate
-    get@Collection))
-
-## Polymorphism
-(def: (poly0 counter)
-  (-> Counter Nat)
-  (read! counter))
-
-(def: poly0-0 Nat (poly0 (new@NatC +0)))
-(def: poly0-1 Nat (poly0 (new@NatRC +0 [])))
-
-(def: (poly1 counter)
-  (-> Resettable-Counter Nat)
-  (n/+ (read! counter)
-       (read! (reset counter))))
-
-(def: poly1-0 Nat (poly1 (new@NatRC +0 [])))
-
-(def: (poly2 counter)
-  (-> NatC Nat)
-  (read! counter))
-
-(def: poly2-0 Nat (poly2 (new@NatC +0)))
-(def: poly2-1 Nat (poly2 (new@NatRC +0 [])))
-
-(def: (poly3 counter)
-  (-> NatRC Nat)
-  (n/+ (read! counter)
-       (read! (reset counter))))
-
-(def: poly3-0 Nat (poly3 (new@NatRC +0 [])))
diff --git a/stdlib/test/test/lux/type/object/protocol.lux b/stdlib/test/test/lux/type/object/protocol.lux
deleted file mode 100644
index fe463205d..000000000
--- a/stdlib/test/test/lux/type/object/protocol.lux
+++ /dev/null
@@ -1,133 +0,0 @@
-(.module:
-  [lux #*
-   [data
-    [text
-     format]]
-   [type
-    [object
-     protocol]]])
-
-(type: Counter (Object (Method Any Nat)))
-
-(def: (count [tick return] state)
-  (Class Nat (Method Any Nat))
-  (let [state' (inc state)]
-    [(return state') state']))
-
-(def: counter
-  (-> Nat Counter)
-  (object count))
-
-(def: _test0
-  [Nat Counter]
-  ((counter +0) (message [])))
-
-(protocol: Protocol0
-  (method0 [Bit Nat Text] Bit)
-  (method1 [Nat Text Bit] Nat)
-  (method2 [Text Bit Nat] Text))
-
-(type: Object0 (Object Protocol0))
-
-(def: object0
-  Object0
-  (loop [num-calls +0]
-    (function (_ message)
-      [(case message
-         (#method0 [arg0 arg1 arg2] output)
-         (output (n/= +0 (n/% +2 num-calls)))
-         
-         (#method1 [arg0 arg1 arg2] output)
-         (output num-calls)
-         
-         (#method2 [arg0 arg1 arg2] output)
-         (output (%n num-calls)))
-       (recur (inc num-calls))])))
-
-(def: _test1
-  [Nat Object0]
-  (object0 (method1 [+0 "0" #0])))
-
-(protocol: (Read a)
-  (read [] a))
-
-(def: (readM [tick return] state)
-  (All [s] (Class s (Method Any s)))
-  [(return state) state])
-
-(protocol: (Add n)
-  (+ n Any)
-  (- n Any))
-
-(protocol: (Mul n)
-  (* n Any)
-  (/ n Any))
-
-(do-template [<name> <op>]
-  [(def: (<name> [diff return] state)
-     (Class Nat (Method Nat Any))
-     [(return []) (<op> diff state)])]
-
-  [+M n/+]
-  [-M n/-]
-  [*M n/*]
-  [/M n//]
-  )
-
-(def: addM
-  (Class Nat (Add Nat))
-  (alt +M -M))
-
-(def: mulM
-  (Class Nat (Mul Nat))
-  (alt *M /M))
-
-(type: (Number n)
-  ($_ Alt
-      (Read n)
-      (Add n)
-      (Mul n)))
-
-## TODO: Fix when new-luxc is the official compiler.
-## (protocol: (Number n)
-##   (^read (Read n))
-##   (^add (Add n))
-##   (^mul (Mul n)))
-
-(def: numberM
-  (Class Nat (Number Nat))
-  ($_ alt
-      readM
-      addM
-      mulM))
-
-(type: NatO (Object (Number Nat)))
-
-(def: numberO
-  NatO
-  (object numberM +1))
-
-(def: _test2
-  [Nat NatO]
-  (numberO (+0 (read []))))
-
-(def: _test3
-  [Any NatO]
-  (numberO (+1 (+0 (+ +123)))))
-
-(def: _test4
-  [Any NatO]
-  (numberO (+1 (+1 (* +123)))))
-
-## TODO: Fix when new-luxc is the official compiler.
-## (def: _test2
-##   [Nat NatO]
-##   (numberO (^read (read []))))
-
-## (def: _test3
-##   [Any NatO]
-##   (numberO (^add (+ +123))))
-
-## (def: _test4
-##   [Any NatO]
-##   (numberO (^mul (* +123))))
diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux
index db2687876..2380365bf 100644
--- a/stdlib/test/tests.lux
+++ b/stdlib/test/tests.lux
@@ -145,10 +145,7 @@
     ["_." type
      ["_." check]
      ## ["_." implicit] ## TODO: Specially troublesome...
-     ["_." resource]
-     [object
-      ["_." interface]
-      ["_." protocol]]]
+     ["_." resource]]
     [compiler
      [default
       ["_default/." syntax]
-- 
cgit v1.2.3