git.iko.soy/Idris-dev
on master help sign in
Merge branch 'master' of github.com:idris-lang/Idris-dev into exportiface_js
8d2ae1aRui Barreiro
idris.cabal+3
compare with master
unifiedsplit
@@ -375,6 +375,7 @@ Test-suite regression-and-feature-tests
375
375
376Executable idris-codegen-c
376Executable idris-codegen-c
377 Main-is: Main.hs
377 Main-is: Main.hs
378+ other-modules: Paths_idris
378 hs-source-dirs: codegen/idris-codegen-c
379 hs-source-dirs: codegen/idris-codegen-c
379
380
380 Build-depends: idris
381 Build-depends: idris
@@ -389,6 +390,7 @@ Executable idris-codegen-c
389
390
390Executable idris-codegen-javascript
391Executable idris-codegen-javascript
391 Main-is: Main.hs
392 Main-is: Main.hs
393+ other-modules: Paths_idris
392 hs-source-dirs: codegen/idris-codegen-javascript
394 hs-source-dirs: codegen/idris-codegen-javascript
393
395
394 Build-depends: idris
396 Build-depends: idris
@@ -403,6 +405,7 @@ Executable idris-codegen-javascript
403
405
404Executable idris-codegen-node
406Executable idris-codegen-node
405 Main-is: Main.hs
407 Main-is: Main.hs
408+ other-modules: Paths_idris
406 hs-source-dirs: codegen/idris-codegen-node
409 hs-source-dirs: codegen/idris-codegen-node
407
410
408 Build-depends: idris
411 Build-depends: idris
src/Idris/REPL.hs+11
@@ -1474,6 +1474,17 @@ process fn (PPrint fmt width t)
1474 ty' = normaliseC ctxt [] ty
1474 ty' = normaliseC ctxt [] ty
1475 iPrintResult =<< renderExternal fmt width (pprintDelab ist tm)
1475 iPrintResult =<< renderExternal fmt width (pprintDelab ist tm)
1476
1476
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+
1477showTotal :: Totality -> IState -> Doc OutputAnnotation
1488showTotal :: Totality -> IState -> Doc OutputAnnotation
1478showTotal t@(Partial (Other ns)) i
1489showTotal t@(Partial (Other ns)) i
1479 = text "possibly not total due to:" <$>
1490 = text "possibly not total due to:" <$>