@@ -675,6 +675,7 @@ process h fn (NewDefn decls) = logLvl 3 ("Defining names using these decls: " ++
675675 getName (PTy docs argdocs syn fc opts name ty) = Just name
676676 getName (PClauses fc opts name (clause:clauses)) = Just (getClauseName clause)
677677 getName (PData doc argdocs syn fc opts dataDecl) = Just (d_name dataDecl)
678+ getName (PClass doc syn fc constraints name parms parmdocs decls) = Just name
678679 getName _ = Nothing
679680 -- getClauseName is partial and I am not sure it's used safely! -- trillioneyes
680681 getClauseName (PClause fc name whole with rhs whereBlock) = name
@@ -683,7 +684,7 @@ process h fn (NewDefn decls) = logLvl 3 ("Defining names using these decls: " ++
683684 defineName (tyDecl@(PTy docs argdocs syn fc opts name ty) : decls) = do
684685 elabDecl EAll toplevel tyDecl
685686 elabClauses toplevel fc opts name (concatMap getClauses decls)
686− setReplDefined (getName tyDecl)
687+ setReplDefined (Just name)
687688 defineName [PClauses fc opts _ [clause]] = do
688689 let pterm = getRHS clause
689690 (tm,ty) <- elabVal toplevel ERHS pterm