idris-0.9.18: test/reg037/reg037.idr

--- Parser regression for (=) as a function name (fnName)

class Foo (t : a -> b -> Type) where
  foo : (x : _) -> (y : _) -> t x y -> t x y

instance Foo ((=) {A=a} {B=b}) where
  foo x y prf = prf