Warn on unknown operator for missing calls in REPL
commitb65bca2d0c945453261801bec1ac0952ba213f80
authormrb <michaelrbernstein@gmail.com>
dateMon 26 May 2014, 20:15 (12 years ago)
parentd10c1e9
src/Idris/REPL.hs+1−1
@@ -848,7 +848,7 @@ process h fn (Missing n)
848848 = do i <- getIState
849849 let i' = i { idris_options = (idris_options i) { opt_showimp = True } }
850850 case lookupCtxt n (idris_patdefs i) of
851− [] -> return ()
851+ [] -> ihPrintError h $ "Unknown operator " ++ show n
852852 [(_, tms)] ->
853853 iPrintResult (showSep "\n" (map (showTm i') tms))
854854 _ -> iPrintError $ "Ambiguous name"