diff options
author | Eduardo Julian | 2015-08-04 20:38:02 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-08-04 20:38:02 -0400 |
commit | 691b3e3174e01ed7d859f58442371328aefcfad4 (patch) | |
tree | eb13bf0e6801ebe1a5771f6750d459d3cbd67ad6 /source/lux/codata/function.lux | |
parent | a8ac885a008f519816d747eca0f894ec9794e938 (diff) |
- Struct definition no longer required prefixed members (now, it actually prohibits them).
Diffstat (limited to '')
-rw-r--r-- | source/lux/codata/function.lux | 4 |
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 ++ .)) |