diff options
Diffstat (limited to 'language/l2_parse.ott')
| -rw-r--r-- | language/l2_parse.ott | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/language/l2_parse.ott b/language/l2_parse.ott index 9785290f..74522150 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -174,6 +174,7 @@ atyp :: 'ATyp_' ::= | inc :: :: inc {{ com increasing (little-endian) }} | dec :: :: dec {{ com decreasing (big-endian) }} + | defaultOrd :: :: default_ord {{ com default order for increasing or decreasing signficant bits }} | { base_effect1 , .. , base_effectn } :: :: set {{ com effect set }} | pure :: M :: pure {{ com sugar for empty effect set }} {{ icho [] }} | atyp1 -> atyp2 effect atyp3 :: :: fn @@ -694,10 +695,11 @@ val_spec :: 'VS_' ::= | val extern typschm id = string :: :: extern_spec default_typing_spec :: 'DT_' ::= - {{ com Default kinding or typing assumption }} + {{ com Default kinding or typing assumption, and default order for literal vectors and vector shorthands }} {{ aux _ l }} % {{ aux _ annot }} {{ auxparam 'a }} | default base_kind kid :: :: kind + | default base_kind atyp :: :: order | default typschm id :: :: typ % The intended semantics of these is that if an id in binding position % doesn't have a kind or type annotation, then we look through the |