git.iko.soy/Idris-dev
on master help sign in
Merge branch 'master' of github.com:idris-lang/Idris-dev into exportiface_js
commit8d2ae1a55c7c87fdbcbc04ed7c08a94bc0d583a4 authorRui Barreiro <rui.barreiro@gmail.com> dateWed 13 Sep 2017, 08:44 (9 years ago) parent2dd2fd1a071dab
2 files changed+14
compare with master
unifiedsplit
idris.cabal+3 src/Idris/REPL.hs+11
idris.cabal+3
@@ -375,6 +375,7 @@ Test-suite regression-and-feature-tests
375375
376376Executable idris-codegen-c
377377 Main-is: Main.hs
378+ other-modules: Paths_idris
378379 hs-source-dirs: codegen/idris-codegen-c
379380
380381 Build-depends: idris
@@ -389,6 +390,7 @@ Executable idris-codegen-c
389390
390391Executable idris-codegen-javascript
391392 Main-is: Main.hs
393+ other-modules: Paths_idris
392394 hs-source-dirs: codegen/idris-codegen-javascript
393395
394396 Build-depends: idris
@@ -403,6 +405,7 @@ Executable idris-codegen-javascript
403405
404406Executable idris-codegen-node
405407 Main-is: Main.hs
408+ other-modules: Paths_idris
406409 hs-source-dirs: codegen/idris-codegen-node
407410
408411 Build-depends: idris
src/Idris/REPL.hs+11
@@ -1474,6 +1474,17 @@ process fn (PPrint fmt width t)
14741474 ty' = normaliseC ctxt [] ty
14751475 iPrintResult =<< renderExternal fmt width (pprintDelab ist tm)
14761476
1477+
1478+process fn Quit = iPrintError "Command ':quit' is currently unsupported"
1479+process fn Reload = iPrintError "Command ':reload' is currently unsupported"
1480+process fn Watch = iPrintError "Command ':watch' is currently unsupported"
1481+process fn (Load _ _) = iPrintError "Command ':load' is currently unsupported"
1482+process fn Edit = iPrintError "Command ':edit' is currently unsupported"
1483+process fn Proofs = iPrintError "Command ':proofs' is currently unsupported"
1484+process fn (Verbosity _)
1485+ = iPrintError "Command ':verbosity' is currently unsupported"
1486+
1487+
14771488showTotal :: Totality -> IState -> Doc OutputAnnotation
14781489showTotal t@(Partial (Other ns)) i
14791490 = text "possibly not total due to:" <$>