diff options
Diffstat (limited to 'lib/option.sail')
| -rw-r--r-- | lib/option.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/option.sail b/lib/option.sail index 3869167b..514cf7ba 100644 --- a/lib/option.sail +++ b/lib/option.sail @@ -6,7 +6,7 @@ $define _OPTION // this won't work - also no other type should be created with // constructors named Some or None. -union option ('a : Type) = { +union option('a: Type) = { Some : 'a, None : unit } |