@@ -1535,9 +1535,12 @@ elabDecl' what info (PInstance s f cs n ps t expn ds)
15351535 = do iLOG $ "Elaborating instance " ++ show n
15361536 elabInstance info s f cs n ps t expn ds
15371537elabDecl' what info (PRecord doc s f tyn ty cdoc cn cty)
1538− | what /= EDefns
1538+ | what /= ETypes
15391539 = do iLOG $ "Elaborating record " ++ show tyn
15401540 elabRecord info s doc f tyn ty cdoc cn cty
1541+ | otherwise
1542+ = do iLOG $ "Elaborating [type of] " ++ show tyn
1543+ elabData info s doc f False (PLaterdecl tyn ty)
15411544elabDecl' _ info (PDSL n dsl)
15421545 = do i <- getIState
15431546 putIState (i { idris_dsls = addDef n dsl (idris_dsls i) })