Permalink
Browse files

Not really mini any more...

  • Loading branch information...
Edwin Brady
Edwin Brady committed Nov 6, 2011
1 parent df4ee4f commit 552844714c8916fd0b2f13293bcb033de300dfe6
Showing with 10 additions and 10 deletions.
  1. +1 −1 lib/Makefile
  2. +4 −4 miniidris.cabal
  3. +1 −1 src/Idris/ElabDecls.hs
  4. +1 −1 src/Idris/Imports.hs
  5. +1 −1 src/Idris/Parser.hs
  6. +1 −1 src/Idris/REPL.hs
  7. +1 −1 src/Main.hs
View
@@ -3,7 +3,7 @@ SRCS = prelude.idr list.idr nat.idr prelude.idr vect.idr
check: .PHONY
for x in *.idr ; do \
echo "Checking $$x"; \
- miniidris --noprelude --check $$x; \
+ idris --noprelude --check $$x; \
done
.PHONY:
View
@@ -1,5 +1,5 @@
-Name: miniidris
-Version: 0.1
+Name: idris
+Version: 0.9
License: BSD3
License-file: LICENSE
Author: Edwin Brady
@@ -17,7 +17,7 @@ Build-type: Simple
Data-files: *.idr
Data-dir: lib
-Executable miniidris
+Executable idris
Main-is: Main.hs
hs-source-dirs: src
Other-modules: Core.TT, Core.Evaluate, Core.Typecheck,
@@ -30,7 +30,7 @@ Executable miniidris
Idris.Delaborate, Idris.Primitives, Idris.Imports,
Idris.Compiler, Idris.Prover
- Paths_miniidris
+ Paths_idris
Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,
containers, process, transformers, filepath, directory,
View
@@ -6,7 +6,7 @@ import Idris.AbsSyntax
import Idris.Error
import Idris.Delaborate
import Idris.Imports
-import Paths_miniidris
+import Paths_idris
import Core.TT
import Core.Elaborate hiding (Tactic(..))
View
@@ -3,7 +3,7 @@ module Idris.Imports where
import Idris.AbsSyntax
import Core.TT
-import Paths_miniidris
+import Paths_idris
import System.FilePath
import System.Directory
View
@@ -4,7 +4,7 @@ import Idris.AbsSyntax
import Idris.Imports
import Idris.Error
import Idris.ElabDecls
-import Paths_miniidris
+import Paths_idris
import Core.CoreParser
import Core.TT
View
@@ -11,7 +11,7 @@ import Idris.Delaborate
import Idris.Compiler
import Idris.Prover
import Idris.Parser
-import Paths_miniidris
+import Paths_idris
import Core.Evaluate
import Core.ProofShell
View
@@ -22,7 +22,7 @@ import Idris.REPL
import Idris.ElabDecls
import Idris.Primitives
import Idris.Imports
-import Paths_miniidris
+import Paths_idris
-- Main program reads command line options, parses the main program, and gets
-- on with the REPL.

0 comments on commit 5528447

Please sign in to comment.