@@ -400,8 +400,11 @@ pPatdefs ds
400400pDefs :: [Name] -> [(Name, Def)] -> Idris ()
401401pDefs syms ds
402402 = mapM_ (\ (n, d) ->
403− do i <- getIState
404− let d' = updateDef d
403+ do let d' = updateDef d
404+ case d' of
405+ TyDecl _ _ -> return ()
406+ _ -> solveDeferred n
407+ i <- getIState
405408 logLvl 5 $ "Added " ++ show (n, d')
406409 putIState (i { tt_ctxt = addCtxtDef n d' (tt_ctxt i) })) ds
407410 where