Adding constant constraints, refs #1464

Raku · Jul 3, 2018 · 7255125 · 7255125
1 parent 086ed92
commit 7255125
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/doc/Type/Variable.pod6 b/doc/Type/Variable.pod6
@@ -80,6 +80,14 @@ Sets the type constraint of a container bound to a variable.
     CATCH { default { say .^name, ' ', .Str } }
     # OUTPUT: «X::TypeCheck::Assignment Type check failed in assignment to $i; expected Int but got Str ("forty plus two")␤»
 
+You can use any value defined in compile time as a type constraint, including
+constants:
+
+    constant \T = Int;
+    my $i of T = 42;
+
+which would be equivalent to the previous definition.
+
 =head1 Methods
 
 =head2 method name