Fix misleading comment about IDE Mode server.
The IDE Mode server and REPL server are different things.
commita02fcf490400981a125c3869a10048d662001d37
authorSteven Shaw <steven@steshaw.org>
dateThu 15 Sep 2016, 12:57 (10 years ago)
parent0d3d2d6
main/Main.hs+1−1
@@ -60,7 +60,7 @@ runIdris :: [Opt] -> Idris ()
6060runIdris opts = do
6161 runIO setupBundledCC
6262 processShowOptions opts -- Show information then quit.
63− processClientOptions opts -- Be a client to an IDE Mode server.
63+ processClientOptions opts -- Be a client to a REPL server.
6464 processPackageOptions opts -- Work with Idris packages.
6565 idrisMain opts -- Launch REPL or compile mode.
6666