idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-28 22:22:10 +03:00
Code Issues Projects Releases Wiki Activity

Remove unused imports from Idris.Main

Browse Source
This commit is contained in:
Fabián Heredia Montiel 2020-05-26 11:51:29 -05:00 committed by G. Allais
parent 684c5037ae
commit fd58d25783
1 changed files with 3 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/Idris/Main.idr
View File

@ -1,40 +1,31 @@
module Main
import Core.Binary
import Core.Context
import Core.Core
import Core.Directory
import Core.InitPrimitives
import Core.Metadata
import Core.Options
import Core.Unify
import Utils.Path
import Idris.CommandLine
import Idris.Desugar
import Idris.IDEMode.REPL
import Idris.ModTree
import Idris.Package
import Idris.Parser
import Idris.ProcessIdr
import Idris.REPL
import Idris.SetOptions
import Idris.Syntax
import Idris.Version
import Data.List
import IdrisPaths
import Data.So
import Data.Strings
import Data.Vect
import System
import System.Directory
import System.File
import Utils.Path
import Yaffle.Main
import IdrisPaths
%default covering
findInput : List CLOpt -> Maybe String