Permalink
Browse files

Lift syntax tree, main monad and pretty printing out of AbsSyntax

  • Loading branch information...
1 parent 59d07f7 commit 848a5976dc2592e6c5c9aed58695a4585807e7ee Edwin Brady committed Jul 18, 2012
Showing with 982 additions and 953 deletions.
  1. +2 −1 idris.cabal
  2. +2 −952 src/Idris/AbsSyntax.hs
  3. +978 −0 src/Idris/AbsSyntaxTree.hs
View
@@ -59,7 +59,8 @@ Executable idris
Core.ShellParser, Core.Unify, Core.Elaborate,
Core.CaseTree, Core.Constraints,
- Idris.AbsSyntax, Idris.Parser, Idris.REPL,
+ Idris.AbsSyntax, Idris.AbsSyntaxTree,
+ Idris.Parser, Idris.REPL,
Idris.REPLParser, Idris.ElabDecls, Idris.Error,
Idris.Delaborate, Idris.Primitives, Idris.Imports,
Idris.Compiler, Idris.Prover, Idris.ElabTerm,
Oops, something went wrong.

0 comments on commit 848a597

Please sign in to comment.