git.iko.soy/Idris-dev
on master help sign in
Not really mini any more...
5528447Edwin Brady
lib/Makefile+1−1
compare with master
unifiedsplit
@@ -3,7 +3,7 @@ SRCS = prelude.idr list.idr nat.idr prelude.idr vect.idr
3check: .PHONY
3check: .PHONY
4 for x in *.idr ; do \
4 for x in *.idr ; do \
5 echo "Checking $$x"; \
5 echo "Checking $$x"; \
6− miniidris --noprelude --check $$x; \
6+ idris --noprelude --check $$x; \
7 done
7 done
8
8
9.PHONY:
9.PHONY:
miniidris.cabal+4−4
@@ -1,5 +1,5 @@
1−Name: miniidris
1+Name: idris
2−Version: 0.1
2+Version: 0.9
3License: BSD3
3License: BSD3
4License-file: LICENSE
4License-file: LICENSE
5Author: Edwin Brady
5Author: Edwin Brady
@@ -17,7 +17,7 @@ Build-type: Simple
17Data-files: *.idr
17Data-files: *.idr
18Data-dir: lib
18Data-dir: lib
19
19
20−Executable miniidris
20+Executable idris
21 Main-is: Main.hs
21 Main-is: Main.hs
22 hs-source-dirs: src
22 hs-source-dirs: src
23 Other-modules: Core.TT, Core.Evaluate, Core.Typecheck,
23 Other-modules: Core.TT, Core.Evaluate, Core.Typecheck,
@@ -30,7 +30,7 @@ Executable miniidris
30 Idris.Delaborate, Idris.Primitives, Idris.Imports,
30 Idris.Delaborate, Idris.Primitives, Idris.Imports,
31 Idris.Compiler, Idris.Prover
31 Idris.Compiler, Idris.Prover
32
32
33− Paths_miniidris
33+ Paths_idris
34
34
35 Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,
35 Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,
36 containers, process, transformers, filepath, directory,
36 containers, process, transformers, filepath, directory,
src/Idris/ElabDecls.hs+1−1
@@ -6,7 +6,7 @@ import Idris.AbsSyntax
6import Idris.Error
6import Idris.Error
7import Idris.Delaborate
7import Idris.Delaborate
8import Idris.Imports
8import Idris.Imports
9−import Paths_miniidris
9+import Paths_idris
10
10
11import Core.TT
11import Core.TT
12import Core.Elaborate hiding (Tactic(..))
12import Core.Elaborate hiding (Tactic(..))
src/Idris/Imports.hs+1−1
@@ -3,7 +3,7 @@ module Idris.Imports where
3import Idris.AbsSyntax
3import Idris.AbsSyntax
4
4
5import Core.TT
5import Core.TT
6−import Paths_miniidris
6+import Paths_idris
7
7
8import System.FilePath
8import System.FilePath
9import System.Directory
9import System.Directory
src/Idris/Parser.hs+1−1
@@ -4,7 +4,7 @@ import Idris.AbsSyntax
4import Idris.Imports
4import Idris.Imports
5import Idris.Error
5import Idris.Error
6import Idris.ElabDecls
6import Idris.ElabDecls
7−import Paths_miniidris
7+import Paths_idris
8
8
9import Core.CoreParser
9import Core.CoreParser
10import Core.TT
10import Core.TT
src/Idris/REPL.hs+1−1
@@ -11,7 +11,7 @@ import Idris.Delaborate
11import Idris.Compiler
11import Idris.Compiler
12import Idris.Prover
12import Idris.Prover
13import Idris.Parser
13import Idris.Parser
14−import Paths_miniidris
14+import Paths_idris
15
15
16import Core.Evaluate
16import Core.Evaluate
17import Core.ProofShell
17import Core.ProofShell
src/Main.hs+1−1
@@ -22,7 +22,7 @@ import Idris.REPL
22import Idris.ElabDecls
22import Idris.ElabDecls
23import Idris.Primitives
23import Idris.Primitives
24import Idris.Imports
24import Idris.Imports
25−import Paths_miniidris
25+import Paths_idris
26
26
27-- Main program reads command line options, parses the main program, and gets
27-- Main program reads command line options, parses the main program, and gets
28-- on with the REPL.
28-- on with the REPL.