Previous Up Next

Appendix A  Precedence Table

This is the default set of precedences when you launch HimML:
infix   0 before
infix   3 o :=
infix   4 = <> < > <= >= #< #> #<= #>= inset inmap submap subset strless
infixr  5 @ O
infixr  5 ::
infix   6 + - ^ #+ #- ++ U <| <-| |> |->
infix   7 * div mod divmod #* #/ fdiv fmod fdivmod & \ delta intersects
infixr  8 #^
infix   9 nth to sub
Note that @ is declared infixr, that is, right-associative, although the Definition of Standard ML dictates that it is infix, i.e. left-associative. This should not make much differences.


Previous Up Next