@@ -5,7 +5,8 @@ Description : Coordinates the compilation process.
55License : BSD3
66Maintainer : The Idris Community.
77-}
8−{-# LANGUAGE CPP, FlexibleContexts, PatternGuards, TypeSynonymInstances, NamedFieldPuns, MultiWayIf #-}
8+{-# LANGUAGE CPP, FlexibleContexts, MultiWayIf, NamedFieldPuns, PatternGuards,
9+ TypeSynonymInstances #-}
910
1011module IRTS.Compiler(compile, generate) where
1112
@@ -33,8 +34,8 @@ import Prelude hiding (id, (.))
3334import Control.Category
3435import Control.Monad.State
3536import Data.List
36−import Data.Maybe (maybe)
3737import qualified Data.Map as M
38+import Data.Maybe (maybe)
3839import Data.Ord
3940import qualified Data.Set as S
4041import System.Directory