git.iko.soy/Idris-dev
on master help sign in
Fix too-new import
7d30e05Melvar Chen
src/Idris/DataOpts.hs+1−1
compare with master
unifiedsplit
@@ -9,7 +9,7 @@ import Idris.AbsSyntaxTree
9import Core.TT
9import Core.TT
10
10
11import Control.Applicative
11import Control.Applicative
12−import qualified Data.IntMap.Strict as M
12+import qualified Data.IntMap as M
13import Data.List
13import Data.List
14import Data.Maybe
14import Data.Maybe
15import Debug.Trace
15import Debug.Trace