@@ -675,6 +675,7 @@ process h fn (NewDefn decls) = logLvl 3 ("Defining names using these decls: " ++
675 getName (PTy docs argdocs syn fc opts name ty) = Just name
675 getName (PTy docs argdocs syn fc opts name ty) = Just name
676 getName (PClauses fc opts name (clause:clauses)) = Just (getClauseName clause)
676 getName (PClauses fc opts name (clause:clauses)) = Just (getClauseName clause)
677 getName (PData doc argdocs syn fc opts dataDecl) = Just (d_name dataDecl)
677 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
678 getName _ = Nothing
679 getName _ = Nothing
679 -- getClauseName is partial and I am not sure it's used safely! -- trillioneyes
680 -- getClauseName is partial and I am not sure it's used safely! -- trillioneyes
680 getClauseName (PClause fc name whole with rhs whereBlock) = name
681 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: " ++
683 defineName (tyDecl@(PTy docs argdocs syn fc opts name ty) : decls) = do
684 defineName (tyDecl@(PTy docs argdocs syn fc opts name ty) : decls) = do
684 elabDecl EAll toplevel tyDecl
685 elabDecl EAll toplevel tyDecl
685 elabClauses toplevel fc opts name (concatMap getClauses decls)
686 elabClauses toplevel fc opts name (concatMap getClauses decls)
686− setReplDefined (getName tyDecl)
687+ setReplDefined (Just name)
687 defineName [PClauses fc opts _ [clause]] = do
688 defineName [PClauses fc opts _ [clause]] = do
688 let pterm = getRHS clause
689 let pterm = getRHS clause
689 (tm,ty) <- elabVal toplevel ERHS pterm
690 (tm,ty) <- elabVal toplevel ERHS pterm