diff options
| author | Peter Sewell | 2013-07-11 14:09:15 +0100 |
|---|---|---|
| committer | Peter Sewell | 2013-07-11 14:09:15 +0100 |
| commit | 628981674364e91ea425d760a9d673425d0cb28f (patch) | |
| tree | ef39804a3da5de989175bfa5facc46ae610eac4d /language | |
| parent | c1e4a7d49d13616f489bb3fad674017cb74a7392 (diff) | |
K,P wib
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/language/l2.ott b/language/l2.ott index 18fb213b..e25d7547 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -881,8 +881,8 @@ val_spec :: 'VS_' ::= default_typing_spec :: 'DT_' ::= {{ com Default kinding or typing assumption }} {{ aux _ l }} - | default base_kind regexp :: :: kind - | default typschm regexp :: :: typ + | default base_kind id :: :: kind + | 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 % default regexps (in order from the beginning) and pick the first |