aboutsummaryrefslogtreecommitdiff
path: root/source/lux/codata/function.lux
diff options
context:
space:
mode:
authorEduardo Julian2015-08-04 20:38:02 -0400
committerEduardo Julian2015-08-04 20:38:02 -0400
commit691b3e3174e01ed7d859f58442371328aefcfad4 (patch)
treeeb13bf0e6801ebe1a5771f6750d459d3cbd67ad6 /source/lux/codata/function.lux
parenta8ac885a008f519816d747eca0f894ec9794e938 (diff)
- Struct definition no longer required prefixed members (now, it actually prohibits them).
Diffstat (limited to '')
-rw-r--r--source/lux/codata/function.lux4
1 files changed, 2 insertions, 2 deletions
diff --git a/source/lux/codata/function.lux b/source/lux/codata/function.lux
index 7898e998d..8eb87c00b 100644
--- a/source/lux/codata/function.lux
+++ b/source/lux/codata/function.lux
@@ -26,5 +26,5 @@
## [Structures]
(defstruct #export Comp/Monoid (All [a] (m;Monoid (-> a a)))
- (def m;unit id)
- (def m;++ .))
+ (def unit id)
+ (def ++ .))