@@ -9,7 +9,8 @@ Maintainer : The Idris Community.
99{-# LANGUAGE DeriveFunctor, FlexibleInstances, MultiParamTypeClasses,
1010 PatternGuards #-}
1111
12−module Idris.ElabDecls where
12+module Idris.ElabDecls(elabDecl, elabDecl', elabDecls, elabMain, elabPrims,
13+ recinfo) where
1314
1415import Idris.AbsSyntax
1516import Idris.Core.Evaluate