diff options
| author | Eduardo Julian | 2022-07-10 18:25:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-10 18:25:57 -0400 |
| commit | dec796a9838e39148c007f3f3d360964d7cb68de (patch) | |
| tree | 6a009ec0046c237ead74f98983a8e63a870e1f5f /stdlib/source/documentation | |
| parent | 1bbc4251230cee13d46df7b706859e834778aee0 (diff) | |
Better error reporting when analyzing variants.
Diffstat (limited to 'stdlib/source/documentation')
| -rw-r--r-- | stdlib/source/documentation/lux/control/security/capability.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/documentation/lux/control/security/capability.lux b/stdlib/source/documentation/lux/control/security/capability.lux index 8d9c7f2ad..d328cabd3 100644 --- a/stdlib/source/documentation/lux/control/security/capability.lux +++ b/stdlib/source/documentation/lux/control/security/capability.lux @@ -20,9 +20,9 @@ "Applies a capability against its required input." [(use capability input)]) - ($.definition /.capability: + ($.definition /.capability "Defines a capability as a unique type, and a constructor for instances." - [(capability: (Can_Duplicate a) + [(capability (Can_Duplicate a) (can_duplicate a [a a])) (let [capability (can_duplicate |