57c0a61 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Parser fix in interface constraints

This made scoped implicits behave oddly because there was no record that an implicit lambda needed adding. Fixes #3124

commit57c0a6122775745df56c179e57791f66c4853a34 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateMon 2 May 2016, 14:50 (10 years ago) parentb98b997

1 file changed+2−2

unifiedsplit

src/Idris/Parser/Expr.hs+2−2

@@ -1152,9 +1152,9 @@ constraintList1 syn = try (do lchar '('

11521152 return [(defname, NoFC, t)])

11531153 <?> "type constraint list"

11541154 where nexpr = try (do (n, fc) <- name; lchar ':'

1155− e <- expr syn

1155+ e <- expr (disallowImp syn)

11561156 return (n, fc, e))

1157− <|> do e <- expr syn

1157+ <|> do e <- expr (disallowImp syn)

11581158 return (defname, NoFC, e)

11591159 defname = sMN 0 "constraint"

11601160