aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
authorEduardo Julian2018-07-03 18:13:55 -0400
committerEduardo Julian2018-07-03 18:13:55 -0400
commite828bada4bea51931b0c555a98bc5cd677d52e79 (patch)
treec4e245c2e0b7d04495fa7322a656a57f7eb3423b /stdlib/source
parentb7b0dd9bd952ede4710da157b40304d714229e04 (diff)
- Re-named ":!!" to ":assume".
Diffstat (limited to 'stdlib/source')
-rw-r--r--stdlib/source/lux.lux6
-rw-r--r--stdlib/source/lux/concurrency/stm.lux2
-rw-r--r--stdlib/source/lux/math/constructive.lux2
-rw-r--r--stdlib/source/lux/type/abstract.lux4
-rw-r--r--stdlib/source/lux/type/unit.lux2
5 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index 157208071..72e22a485 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -5945,9 +5945,9 @@
_
(fail "Wrong syntax for ^|>")))
-(macro: #export (:!! tokens)
+(macro: #export (:assume tokens)
{#.doc (doc "Coerces the given expression to the type of whatever is expected."
- (: Dinosaur (:!! (list 1 2 3))))}
+ (: Dinosaur (:assume (list 1 2 3))))}
(case tokens
(^ (list expr))
(do Monad<Meta>
@@ -5955,7 +5955,7 @@
(wrap (list (` ("lux coerce" (~ (type-to-code type)) (~ expr))))))
_
- (fail "Wrong syntax for :!!")))
+ (fail "Wrong syntax for :assume")))
(macro: #export (undefined tokens)
{#.doc (doc "Meant to be used as a stand-in for functions with undefined implementations."
diff --git a/stdlib/source/lux/concurrency/stm.lux b/stdlib/source/lux/concurrency/stm.lux
index a7c8b3cf3..791419444 100644
--- a/stdlib/source/lux/concurrency/stm.lux
+++ b/stdlib/source/lux/concurrency/stm.lux
@@ -80,7 +80,7 @@
(:! (Var Any) _var))))
(:: maybe.Monad<Maybe> map (function (_ [_var _original _current])
_current))
- (:!!)
+ (:assume)
))
(def: #export (read var)
diff --git a/stdlib/source/lux/math/constructive.lux b/stdlib/source/lux/math/constructive.lux
index 8d375fad7..b154e9c20 100644
--- a/stdlib/source/lux/math/constructive.lux
+++ b/stdlib/source/lux/math/constructive.lux
@@ -149,7 +149,7 @@
(-> (~+ g!requisites) (~ meaning)))))))
(syntax: #export (axiom {description (p.default "" s.text)})
- (wrap (.list (.` (.:!! [])))))
+ (wrap (.list (.` (.:assume [])))))
(syntax: #export (theorem {type-vars type-vars}
{[name inputs] theorem-declaration}
diff --git a/stdlib/source/lux/type/abstract.lux b/stdlib/source/lux/type/abstract.lux
index 2caaf62bb..1bb084cf5 100644
--- a/stdlib/source/lux/type/abstract.lux
+++ b/stdlib/source/lux/type/abstract.lux
@@ -73,7 +73,7 @@
(^ (list value))
(wrap (list (` ((: (All [(~+ type-varsC)]
(-> (~ representation-declaration) (~ abstract-declaration)))
- (|>> :!!))
+ (|>> :assume))
(~ value)))))
_
@@ -86,7 +86,7 @@
(^ (list value))
(wrap (list (` ((: (All [(~+ type-varsC)]
(-> (~ abstract-declaration) (~ representation-declaration)))
- (|>> :!!))
+ (|>> :assume))
(~ value)))))
_
diff --git a/stdlib/source/lux/type/unit.lux b/stdlib/source/lux/type/unit.lux
index 0f81c6a08..88b56730b 100644
--- a/stdlib/source/lux/type/unit.lux
+++ b/stdlib/source/lux/type/unit.lux
@@ -70,7 +70,7 @@
(primitive (~ (code.text (unit-name name))))))
(` (def: (~+ (csw.export export)) (~ (code.local-symbol (format "@" name)))
(~ (code.local-symbol name))
- (:!! [])))
+ (:assume [])))
)))
(def: ratio^