git.iko.soy/Idris-dev
on master help sign in
Add exports to ElabDecls
7c2ff79Niklas Larsson
src/Idris/ElabDecls.hs+2−1
compare with master
unifiedsplit
@@ -9,7 +9,8 @@ Maintainer : The Idris Community.
9{-# LANGUAGE DeriveFunctor, FlexibleInstances, MultiParamTypeClasses,
9{-# LANGUAGE DeriveFunctor, FlexibleInstances, MultiParamTypeClasses,
10 PatternGuards #-}
10 PatternGuards #-}
11
11
12−module Idris.ElabDecls where
12+module Idris.ElabDecls(elabDecl, elabDecl', elabDecls, elabMain, elabPrims,
13+ recinfo) where
13
14
14import Idris.AbsSyntax
15import Idris.AbsSyntax
15import Idris.Core.Evaluate
16import Idris.Core.Evaluate