@@ -561,7 +561,7 @@ class_ syn = do (doc, acc) <- try (do
561561 doc <- option "" (docComment '|')
562562 acc <- optional accessibility
563563 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
565565 let n = expandNS syn n_in
566566 cs <- many carg
567567 ds <- option [] (classBlock syn)
@@ -591,7 +591,7 @@ instance_ :: SyntaxInfo -> IdrisParser [PDecl]
591591instance_ syn = do reserved "instance"; fc <- getFC
592592 en <- optional instanceName
593593 cs <- constraintList syn
594− cn <- name
594+ cn <- fnName
595595 args <- many (simpleExpr syn)
596596 let sc = PApp fc (PRef fc cn) (map pexp args)
597597 let t = bindList (PPi constraint) (map (\x -> (sMN 0 "constraint", x)) cs) sc