@@ -561,7 +561,7 @@ class_ syn = do (doc, acc) <- try (do
561 doc <- option "" (docComment '|')
561 doc <- option "" (docComment '|')
562 acc <- optional accessibility
562 acc <- optional accessibility
563 return (doc, acc))
563 return (doc, acc))
564− reserved "class"; fc <- getFC; cons <- constraintList syn; n_in <- name
564+ reserved "class"; fc <- getFC; cons <- constraintList syn; n_in <- fnName
565 let n = expandNS syn n_in
565 let n = expandNS syn n_in
566 cs <- many carg
566 cs <- many carg
567 ds <- option [] (classBlock syn)
567 ds <- option [] (classBlock syn)
@@ -591,7 +591,7 @@ instance_ :: SyntaxInfo -> IdrisParser [PDecl]
591instance_ syn = do reserved "instance"; fc <- getFC
591instance_ syn = do reserved "instance"; fc <- getFC
592 en <- optional instanceName
592 en <- optional instanceName
593 cs <- constraintList syn
593 cs <- constraintList syn
594− cn <- name
594+ cn <- fnName
595 args <- many (simpleExpr syn)
595 args <- many (simpleExpr syn)
596 let sc = PApp fc (PRef fc cn) (map pexp args)
596 let sc = PApp fc (PRef fc cn) (map pexp args)
597 let t = bindList (PPi constraint) (map (\x -> (sMN 0 "constraint", x)) cs) sc
597 let t = bindList (PPi constraint) (map (\x -> (sMN 0 "constraint", x)) cs) sc