diff options
| author | Eduardo Julian | 2018-07-10 00:09:34 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-10 00:09:34 -0400 |
| commit | 474c270f548298fc6404e9c53f038b94eba7e997 (patch) | |
| tree | c00a759fe5686b3151439fd019876300e754c807 /stdlib/source/lux.lux | |
| parent | 25c48836e80dcaed6c2cbb11a14d3353da37620e (diff) | |
- Re-named "sig:" to "signature:".
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 8d6a1d323..bbf765e9a 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -1597,7 +1597,7 @@ (fail "Wrong syntax for $_")} tokens)) -## (sig: (Monad m) +## (signature: (Monad m) ## (: (All [a] (-> a (m a))) ## wrap) ## (: (All [a b] (-> (-> a (m b)) (m a) (m b))) @@ -3471,9 +3471,9 @@ #None (fail "Wrong syntax for macro:")))) -(macro: #export (sig: tokens) +(macro: #export (signature: tokens) {#.doc "## Definition of signatures ala ML. - (sig: #export (Ord a) + (signature: #export (Ord a) (: (Equivalence a) eq) (: (-> a a Bool) @@ -3534,7 +3534,7 @@ (return (list (` (..type: (~+ (export exported?)) (~ usage) (~ sig-meta) (~ sig-type)))))) #None - (fail "Wrong syntax for sig:")))) + (fail "Wrong syntax for signature:")))) (def: (find f xs) (All [a b] |