Changes between Version 12 and Version 13 of ExpressionSyntax

Timestamp:

2017-09-14 10:22:09 (8 years ago)

Author:

archibald

Comment:

--

ExpressionSyntax

@@ -43 +43 @@
 
 bracedMonadic :=
-  ( "sizeof" 
+  ( "sizeof"
   | "typeof" 
-  | L-gillaumet typename R-gillaumet 
+  | L-gillaumet typename R-gillaumet // CASTING 
   );
 
@@ -64 +64 @@
 which gives us the ability to specify a subset of monadic, diadic operators (infix notation) and a set of monadic braced expressions (apparently single parameter functions).
 
+This would show up the following errors in the syntax and not in the type checking
+{{{
+freddy / * burt // ERROR at *, as * is not a monadic infix operator
+}}}