git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1733 from soimort/cleanup
46fc92dEdwin Brady
.gitignore−8
compare with master
unifiedsplit
@@ -17,14 +17,6 @@ custom.mk
17test/output
17test/output
18test/*[0-9][0-9][0-9]/output
18test/*[0-9][0-9][0-9]/output
19test/*[0-9][0-9][0-9]/*.exe
19test/*[0-9][0-9][0-9]/*.exe
20−tutorial/*.aux
21−tutorial/*.bbl
22−tutorial/*.blg
23−tutorial/*.log
24−tutorial/*.out
25−tutorial/*.toc
26−tutorial/*.fdb_latexmk
27−tutorial/*.fls
28tags
20tags
29TAGS
21TAGS
30src/Version_idris.hs
22src/Version_idris.hs
src/Idris/REPL.hs+1−1
@@ -140,7 +140,7 @@ repl orig mods
140 showM c thm n = if c then colouriseFun thm (show n)
140 showM c thm n = if c then colouriseFun thm (show n)
141 else show n
141 else show n
142
142
143−-- | Run the REPL seDver
143+-- | Run the REPL server
144startServer :: PortID -> IState -> [FilePath] -> Idris ()
144startServer :: PortID -> IState -> [FilePath] -> Idris ()
145startServer port orig fn_in = do tid <- runIO $ forkOS (serverLoop port)
145startServer port orig fn_in = do tid <- runIO $ forkOS (serverLoop port)
146 return ()
146 return ()