@@ -151,9 +151,9 @@ process fn (Check (PRef _ n))
151151 ist <- get
152152 imp <- impShow
153153 case lookupTy Nothing n ctxt of
154− [t] -> iputStrLn $ show n ++ " : " ++
155− showImp imp (delab ist t)
156− _ -> iputStrLn $ "No such variable " ++ show n
154+ ts@(_:_) -> mapM_ (\t -> iputStrLn $ show n ++ " : " ++
155+ showImp imp (delab ist t)) ts
156+ [] -> iputStrLn $ "No such variable " ++ show n
157157process fn (Check t) = do (tm, ty) <- elabVal toplevel False t
158158 ctxt <- getContext
159159 ist <- get