==================== FINAL INTERFACE ==================== 2017-05-08 17:10:54.860722 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Utils.Files 8002 interface hash: 29c498cfb7678606bd71670f934199ec ABI hash: be394d70e321a20df414eb3c7ce0cdfa export-list hash: ebb433e6c2d1f5ff63bc5cc6b8ec3d71 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 255dc1f2207ef3820ecfdf51aab3d0e2 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Utils.Files.copyFiles Language.Fixpoint.Utils.Files.extFileName Language.Fixpoint.Utils.Files.extFileNameR Language.Fixpoint.Utils.Files.extModuleName Language.Fixpoint.Utils.Files.getFileInDirs Language.Fixpoint.Utils.Files.getFixpointPath Language.Fixpoint.Utils.Files.getZ3LibPath Language.Fixpoint.Utils.Files.isBinary Language.Fixpoint.Utils.Files.isExtFile Language.Fixpoint.Utils.Files.tempDirectory Language.Fixpoint.Utils.Files.withExt Language.Fixpoint.Utils.Files.Ext{Language.Fixpoint.Utils.Files.Annot Language.Fixpoint.Utils.Files.Auto Language.Fixpoint.Utils.Files.BinFq Language.Fixpoint.Utils.Files.BinSpec Language.Fixpoint.Utils.Files.Cache Language.Fixpoint.Utils.Files.Cgi Language.Fixpoint.Utils.Files.Cst Language.Fixpoint.Utils.Files.Dat Language.Fixpoint.Utils.Files.Dot Language.Fixpoint.Utils.Files.Fq Language.Fixpoint.Utils.Files.Hquals Language.Fixpoint.Utils.Files.Hs Language.Fixpoint.Utils.Files.HsBoot Language.Fixpoint.Utils.Files.Html Language.Fixpoint.Utils.Files.Js Language.Fixpoint.Utils.Files.Json Language.Fixpoint.Utils.Files.LHs Language.Fixpoint.Utils.Files.Min Language.Fixpoint.Utils.Files.MinKVars Language.Fixpoint.Utils.Files.MinQuals Language.Fixpoint.Utils.Files.Mkdn Language.Fixpoint.Utils.Files.Out Language.Fixpoint.Utils.Files.PAss Language.Fixpoint.Utils.Files.Part Language.Fixpoint.Utils.Files.Pred Language.Fixpoint.Utils.Files.Result Language.Fixpoint.Utils.Files.Saved Language.Fixpoint.Utils.Files.Smt2 Language.Fixpoint.Utils.Files.Spec Language.Fixpoint.Utils.Files.Ts Language.Fixpoint.Utils.Files.Vim} module dependencies: Language.Fixpoint.Misc package dependencies: ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo array-0.5.1.1@array-0.5.1.1 async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK base-4.9.1.0 binary-0.8.3.0@binary-0.8.3.0 bytestring-0.10.8.1@bytestring-0.10.8.1 cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I containers-0.5.7.1@containers-0.5.7.1 deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0 filepath-1.4.1.1@filepath-1.4.1.1 ghc-prim-0.5.0.0 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x integer-gmp-1.0.0.1 located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 pretty-1.1.3.3@pretty-1.1.3.3 process-1.4.3.0@process-1.4.3.0 stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR time-1.6.0.1@time-1.6.0.1 unix-2.7.2.1@unix-2.7.2.1 unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o orphans: base-4.9.1.0:GHC.Base base-4.9.1.0:GHC.Float binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Generic bytestring-0.10.8.1@bytestring-0.10.8.1:Data.ByteString.Builder hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve:Control.Monad.STM text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show time-1.6.0.1@time-1.6.0.1:Data.Time.Calendar.Gregorian time-1.6.0.1@time-1.6.0.1:Data.Time.Format.Parse time-1.6.0.1@time-1.6.0.1:Data.Time.LocalTime.LocalTime family instance modules: base-4.9.1.0:Control.Applicative base-4.9.1.0:Data.Complex base-4.9.1.0:Data.Either base-4.9.1.0:Data.Functor.Compose base-4.9.1.0:Data.Functor.Const base-4.9.1.0:Data.Functor.Identity base-4.9.1.0:Data.Functor.Product base-4.9.1.0:Data.Functor.Sum base-4.9.1.0:Data.List.NonEmpty base-4.9.1.0:Data.Monoid base-4.9.1.0:Data.Semigroup base-4.9.1.0:Data.Type.Equality base-4.9.1.0:Data.Version base-4.9.1.0:Data.Void base-4.9.1.0:GHC.Exts base-4.9.1.0:GHC.Generics base-4.9.1.0:GHC.IO.Exception base-4.9.1.0:GHC.TypeLits containers-0.5.7.1@containers-0.5.7.1:Data.IntMap.Base containers-0.5.7.1@containers-0.5.7.1:Data.IntSet.Base containers-0.5.7.1@containers-0.5.7.1:Data.Map.Base containers-0.5.7.1@containers-0.5.7.1:Data.Sequence containers-0.5.7.1@containers-0.5.7.1:Data.Set.Base pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base import -/ base-4.9.1.0:Control.Exception a76dd9666251322fe34dbcca3a0817bf import -/ base-4.9.1.0:Control.Exception.Base 1e106916283856f4d9caeddab92cd861 import -/ base-4.9.1.0:Control.Monad a6784c5dab0d75c63dabec5a37843f98 import -/ base-4.9.1.0:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2 import -/ base-4.9.1.0:Data.Functor 5ab1dc703df5b482e77efb697833ca3c import -/ base-4.9.1.0:Data.List 07ae2acca6538aa0800bd0a993ac6ac1 import -/ base-4.9.1.0:Data.Maybe d876c4ffe4b3c43755a781e8ad860d88 import -/ base-4.9.1.0:Data.OldList 27987919d8da2f92e3f472ca81f730f8 import -/ base-4.9.1.0:Data.Traversable 556020d7cf3c4a34a774600512918a37 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.IO eb504c57b397cf133849f8586f15dafb import -/ base-4.9.1.0:GHC.IO.Exception 5064be4c355632a1d1c4f2322f56ac52 import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ base-4.9.1.0:System.IO c9de64c5f5407c4cf1c52500c4d15200 import -/ directory-1.3.0.0@directory-1.3.0.0:System.Directory 23e4e3d52f91c33b21f0667cd90aa164 import -/ filepath-1.4.1.1@filepath-1.4.1.1:System.FilePath a3d1d13ac7dd86705b5dfaf58a5c0b9e import -/ filepath-1.4.1.1@filepath-1.4.1.1:System.FilePath.Posix 6a5e3ee74184fdcc5da09a368e7c40f5 import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 import -/ Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b errorstar 38cc16c0836e03b9af68d3c95faef762 43a934586c00b90d3cddd8e1949d2789 $fEqExt :: GHC.Classes.Eq Language.Fixpoint.Utils.Files.Ext DFunId 43a934586c00b90d3cddd8e1949d2789 $fOrdExt :: GHC.Classes.Ord Language.Fixpoint.Utils.Files.Ext DFunId 43a934586c00b90d3cddd8e1949d2789 $fShowExt :: GHC.Show.Show Language.Fixpoint.Utils.Files.Ext DFunId 11a2c034e347d52cfdf32f8b3618ce7e $tc'Annot :: GHC.Types.TyCon 33f591ef69924c97b1842d4b8c805ee0 $tc'Auto :: GHC.Types.TyCon 674a40a8f9c22d6895dd0d716bb34062 $tc'BinFq :: GHC.Types.TyCon e67aa13f2e9c337c091ce5902e6c10af $tc'BinSpec :: GHC.Types.TyCon 02417aba85d8851dd239eb7f6988a844 $tc'Cache :: GHC.Types.TyCon 008b33d19cddafa7bb474910c6b5d0a6 $tc'Cgi :: GHC.Types.TyCon 5e257fded3283b219551a144bfb6ab57 $tc'Cst :: GHC.Types.TyCon e34bdcb25138c7c96b1e8f1f4cf4a973 $tc'Dat :: GHC.Types.TyCon 425541732816bc9ef958625a64c8e698 $tc'Dot :: GHC.Types.TyCon 8bf022f8c7df5a1ad61233871b2b5953 $tc'Fq :: GHC.Types.TyCon 3155bc55187a5840663ad7ff4b7f396d $tc'Hquals :: GHC.Types.TyCon c8405556b73dc60617fac7f5631f19e0 $tc'Hs :: GHC.Types.TyCon 2cd6d0b314cd8cf65fe644613cdb89fa $tc'HsBoot :: GHC.Types.TyCon d1ad2de07bb7ebad22ec61f488ed90bf $tc'Html :: GHC.Types.TyCon 3c3785becebb8b8309f85ffc7f8e44e6 $tc'Js :: GHC.Types.TyCon b104acf2708e21d017769ccedd0004df $tc'Json :: GHC.Types.TyCon f545fef7baa89be39fb934970fe62e7c $tc'LHs :: GHC.Types.TyCon 709de80bdb9f40954c5a3467244c4b1d $tc'Min :: GHC.Types.TyCon bc7f394344e0e2ca47166f82c9dea956 $tc'MinKVars :: GHC.Types.TyCon 9feb80de6e6afae8a5476d3da3c3ebf5 $tc'MinQuals :: GHC.Types.TyCon fb799661c9d8821fe6e565f876432ce1 $tc'Mkdn :: GHC.Types.TyCon 058f5cc94c49ea8583e6cb3bc5b74f8b $tc'Out :: GHC.Types.TyCon 9818bc7d2f28a6b4bcf45e06dcc74850 $tc'PAss :: GHC.Types.TyCon 9a9f8a6903dba0531eca147a40439aa0 $tc'Part :: GHC.Types.TyCon b5e21c8e25a91def649518b58108e101 $tc'Pred :: GHC.Types.TyCon 7654dbfedd1164687ca12f7287b29627 $tc'Result :: GHC.Types.TyCon 78772d74c26cefbd47d56a4b6089f327 $tc'Saved :: GHC.Types.TyCon cfed4622ec7e3f014aaacf6f114accdf $tc'Smt2 :: GHC.Types.TyCon e86f7c8f0a93e6987ff17ae4a3fda285 $tc'Spec :: GHC.Types.TyCon a5eafec490a4b590582e80eeb6e2d87c $tc'Ts :: GHC.Types.TyCon df1a1a493841d6092d16f591d50b4bcb $tc'Vim :: GHC.Types.TyCon 9444fa08ad107ca05457a9ab10fb8754 $tcExt :: GHC.Types.TyCon 61e459894a5af034a8684d711a0015b3 $trModule :: GHC.Types.Module 43a934586c00b90d3cddd8e1949d2789 data Ext = Cgi | Fq | Out | Html | Annot | Vim | Hs | HsBoot | LHs | Js | Ts | Spec | BinSpec | Hquals | Result | Cst | Mkdn | Json | Saved | Cache | Dot | Part GHC.Types.Int | Auto GHC.Types.Int | Pred | PAss | Dat | BinFq | Smt2 | Min | MinQuals | MinKVars 80767a568942c71e99dc1847ba0ad83d copyFiles :: [GHC.IO.FilePath] -> GHC.IO.FilePath -> GHC.Types.IO () fa6146d752c8253fcb879f499d605b0f extFileName :: Language.Fixpoint.Utils.Files.Ext -> GHC.IO.FilePath -> GHC.IO.FilePath c8d1655319c61279830ac5c5e68c2221 extFileNameR :: Language.Fixpoint.Utils.Files.Ext -> GHC.IO.FilePath -> GHC.IO.FilePath 2f04f8aa637b7afcbedad691e3f31b25 extModuleName :: GHC.Base.String -> Language.Fixpoint.Utils.Files.Ext -> GHC.IO.FilePath 3925afb3f4237ab83e67761832108722 getFileInDirs :: GHC.IO.FilePath -> [GHC.IO.FilePath] -> GHC.Types.IO (GHC.Base.Maybe GHC.IO.FilePath) 3ac3642f8b11b0d3f97f16182cc70a6d getFixpointPath :: GHC.Types.IO GHC.IO.FilePath bf3515a4e646f4afde0a00b2063ddfcd getZ3LibPath :: GHC.Types.IO GHC.IO.FilePath 9853490a070ff681b4d5dfc9aa320788 isBinary :: GHC.IO.FilePath -> GHC.Types.Bool a69181788d992ee01542b434e913b795 isExtFile :: Language.Fixpoint.Utils.Files.Ext -> GHC.IO.FilePath -> GHC.Types.Bool a2fd0aefada25cbf3f912b7024af3238 tempDirectory :: GHC.IO.FilePath -> GHC.IO.FilePath f5c85a1ae73a33f1b64a9770bd5ce81f withExt :: GHC.IO.FilePath -> Language.Fixpoint.Utils.Files.Ext -> GHC.IO.FilePath instance GHC.Classes.Eq [Language.Fixpoint.Utils.Files.Ext] = Language.Fixpoint.Utils.Files.$fEqExt instance GHC.Classes.Ord [Language.Fixpoint.Utils.Files.Ext] = Language.Fixpoint.Utils.Files.$fOrdExt instance GHC.Show.Show [Language.Fixpoint.Utils.Files.Ext] = Language.Fixpoint.Utils.Files.$fShowExt vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False