diff options
Diffstat (limited to 'stdlib/source/lux/type/refinement.lux')
| -rw-r--r-- | stdlib/source/lux/type/refinement.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/lux/type/refinement.lux b/stdlib/source/lux/type/refinement.lux index 1013cf283..4ccfd02be 100644 --- a/stdlib/source/lux/type/refinement.lux +++ b/stdlib/source/lux/type/refinement.lux @@ -5,7 +5,7 @@ [monad (#+ do)] ["p" parser]] [data - ["e" error (#+ Error)]] + ["." error (#+ Error)]] ["." type ("type/." Equivalence<Type>) abstract] ["." macro @@ -96,9 +96,9 @@ (do @ [constructorT (macro.find-type refinement) refinementT (case (refinement-type constructorT) - (#e.Success refinementT) + (#error.Success refinementT) (wrap refinementT) - (#e.Error error) + (#error.Failure error) (p.fail error))] (wrap (list (type.to-code refinementT))))) |