@@ -848,7 +848,7 @@ process h fn (Missing n)
848 = do i <- getIState
848 = do i <- getIState
849 let i' = i { idris_options = (idris_options i) { opt_showimp = True } }
849 let i' = i { idris_options = (idris_options i) { opt_showimp = True } }
850 case lookupCtxt n (idris_patdefs i) of
850 case lookupCtxt n (idris_patdefs i) of
851− [] -> return ()
851+ [] -> ihPrintError h $ "Unknown operator " ++ show n
852 [(_, tms)] ->
852 [(_, tms)] ->
853 iPrintResult (showSep "\n" (map (showTm i') tms))
853 iPrintResult (showSep "\n" (map (showTm i') tms))
854 _ -> iPrintError $ "Ambiguous name"
854 _ -> iPrintError $ "Ambiguous name"