Updates to the Lua compiler.

1 files changed, 1 insertions, 15 deletions

diff --git a/stdlib/source/library/lux/type/refinement.lux b/stdlib/source/library/lux/type/refinement.lux
index 2ab800d2c..03d064acc 100644
--- a/stdlib/source/library/lux/type/refinement.lux
+++ b/stdlib/source/library/lux/type/refinement.lux
@@ -12,14 +12,13 @@
      abstract]]])
 
 (abstract: .public (Refined t %)
-  {#.doc "A refined version of another type, using a predicate to select valid instances."}
+  {}
 
   (Record
    {#value t
     #predicate (Predicate t)})
 
   (type: .public (Refiner t %)
-    {#.doc (example "A selection mechanism for refined instances of a type.")}
     (-> t (Maybe (Refined t %))))
 
   (def: .public (refiner predicate)
@@ -42,8 +41,6 @@
     )
 
   (def: .public (lifted transform)
-    {#.doc (example "Yields a function that can work on refined values."
-                    "Respects the constraints of the refinement.")}
     (All [t %]
       (-> (-> t t)
           (-> (Refined t %) (Maybe (Refined t %)))))
@@ -72,7 +69,6 @@
       (only refiner tail))))
 
 (def: .public (partition refiner values)
-  {#.doc (example "Separates refined values from the un-refined ones.")}
   (All [t %]
     (-> (Refiner t %) (List t) [(List (Refined t %)) (List t)]))
   (case values
@@ -91,16 +87,6 @@
          (#.Item head no)]))))
 
 (syntax: .public (type [refiner <code>.any])
-  {#.doc (example "The Refined type associated with a Refiner type."
-                  (def: even
-                    (refiner even?))
-
-                  (def: Even
-                    Type
-                    (type even))
-
-                  (: (Maybe Even)
-                     (even 123)))}
   (macro.with_identifiers [g!t g!%]
     (in (list (` ((~! type.:by_example) [(~ g!t) (~ g!%)]
                   (..Refiner (~ g!t) (~ g!%))