git.iko.soy/Idris-dev
on master help sign in
Not really mini any more...
commit552844714c8916fd0b2f13293bcb033de300dfe6 authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateSun 6 Nov 2011, 19:56 (15 years ago) parentdf4ee4f
7 files changed+10−10
compare with master
unifiedsplit
lib/Makefile+1−1 miniidris.cabal+4−4 src/Idris/ElabDecls.hs+1−1 src/Idris/Imports.hs+1−1 src/Idris/Parser.hs+1−1 src/Idris/REPL.hs+1−1 src/Main.hs+1−1
lib/Makefile+1−1
@@ -3,7 +3,7 @@ SRCS = prelude.idr list.idr nat.idr prelude.idr vect.idr
33check: .PHONY
44 for x in *.idr ; do \
55 echo "Checking $$x"; \
6− miniidris --noprelude --check $$x; \
6+ idris --noprelude --check $$x; \
77 done
88
99.PHONY:
miniidris.cabal+4−4
@@ -1,5 +1,5 @@
1−Name: miniidris
2−Version: 0.1
1+Name: idris
2+Version: 0.9
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady
@@ -17,7 +17,7 @@ Build-type: Simple
1717Data-files: *.idr
1818Data-dir: lib
1919
20−Executable miniidris
20+Executable idris
2121 Main-is: Main.hs
2222 hs-source-dirs: src
2323 Other-modules: Core.TT, Core.Evaluate, Core.Typecheck,
@@ -30,7 +30,7 @@ Executable miniidris
3030 Idris.Delaborate, Idris.Primitives, Idris.Imports,
3131 Idris.Compiler, Idris.Prover
3232
33− Paths_miniidris
33+ Paths_idris
3434
3535 Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,
3636 containers, process, transformers, filepath, directory,
src/Idris/ElabDecls.hs+1−1
@@ -6,7 +6,7 @@ import Idris.AbsSyntax
66import Idris.Error
77import Idris.Delaborate
88import Idris.Imports
9−import Paths_miniidris
9+import Paths_idris
1010
1111import Core.TT
1212import Core.Elaborate hiding (Tactic(..))
src/Idris/Imports.hs+1−1
@@ -3,7 +3,7 @@ module Idris.Imports where
33import Idris.AbsSyntax
44
55import Core.TT
6−import Paths_miniidris
6+import Paths_idris
77
88import System.FilePath
99import System.Directory
src/Idris/Parser.hs+1−1
@@ -4,7 +4,7 @@ import Idris.AbsSyntax
44import Idris.Imports
55import Idris.Error
66import Idris.ElabDecls
7−import Paths_miniidris
7+import Paths_idris
88
99import Core.CoreParser
1010import Core.TT
src/Idris/REPL.hs+1−1
@@ -11,7 +11,7 @@ import Idris.Delaborate
1111import Idris.Compiler
1212import Idris.Prover
1313import Idris.Parser
14−import Paths_miniidris
14+import Paths_idris
1515
1616import Core.Evaluate
1717import Core.ProofShell
src/Main.hs+1−1
@@ -22,7 +22,7 @@ import Idris.REPL
2222import Idris.ElabDecls
2323import Idris.Primitives
2424import Idris.Imports
25−import Paths_miniidris
25+import Paths_idris
2626
2727-- Main program reads command line options, parses the main program, and gets
2828-- on with the REPL.