updates

[ocean-D] / Ocean-operators

diff --git a/Ocean-operators b/Ocean-operators
index 12b60e20cf06e5fd043fc77f343d14dbc9fdb8da..7c75e6117739472ecb36ad6ff0e0a7e0f184e521 100644 (file)
--- a/Ocean-operators
+++ b/Ocean-operators
@@ -77,3 +77,17 @@ What types do operators act one?
       convert error to type     !error
       test if value is error    ?value
       extract error code        value!
       convert error to type     !error
       test if value is error    ?value
       extract error code        value!

+
+
+PROBLEM??
+
+  a if c else b
+could have a natural precedence:
+
+  A if C else B if q else a if c else b
+would be
+  A if C else (B if q else (a if c else b))
+Hmm..  not what I imagined.  But what I imaging suggested that left-association what
+ a op b op c -> (a op b) op c
+requires that we reduce even when we could shift, ... maybe .... I should leave this
+until I do precedence.