Sulkta-OSS/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

remove redundant imports

Browse source
This commit is contained in:
Hongrui Fang 2022-11-10 21:16:18 +08:00
parent 2898b54eaa
commit ce98183237
No known key found for this signature in database
GPG key ID: F10AB2CCE24113DD
5 changed files with 6 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

9
agora-scripts/Main.hs
View file

@ -9,10 +9,13 @@
module Main (main) where
import Agora.Bootstrap qualified as Bootstrap
import Agora.Linker
import Agora.Linker (linker)
import Data.Default (def)
import ScriptExport.Export
import ScriptExport.Types
import ScriptExport.Export (exportMain)
import ScriptExport.Types (
Builders,
insertScriptExportWithLinker,
)
main :: IO ()
main = exportMain builders