diff --git a/idris2api.ipkg b/idris2api.ipkg index a0f4831fe16..55628c8d449 100644 --- a/idris2api.ipkg +++ b/idris2api.ipkg @@ -324,6 +324,6 @@ modules = Yaffle.Main, Yaffle.REPL -depends = network +depends on network sourcedir = "src" diff --git a/src/Parser/Rule/Package.idr b/src/Parser/Rule/Package.idr index daf71963c1b..85382797efc 100644 --- a/src/Parser/Rule/Package.idr +++ b/src/Parser/Rule/Package.idr @@ -18,9 +18,10 @@ EmptyRule = Grammar () Token False export equals : Rule () -equals = terminal "Expected equals" $ +equals = terminal "Expected equals or 'on'" $ \case Equals => Just () + DotSepIdent Nothing "on" => Just () _ => Nothing export