X-Git-Url: https://ocean-lang.org/code/?p=ocean-D;a=blobdiff_plain;f=Ocean-operators;fp=Ocean-operators;h=7c75e6117739472ecb36ad6ff0e0a7e0f184e521;hp=12b60e20cf06e5fd043fc77f343d14dbc9fdb8da;hb=4cdd68c1e0a2b774c04bb251ad788ccfd958660e;hpb=6bf27e5fd35feec3c55c3776c553b81c7d025c70 diff --git a/Ocean-operators b/Ocean-operators index 12b60e2..7c75e61 100644 --- 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! + + +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.