==================== FINAL INTERFACE ==================== 2017-05-02 18:35:43.808455 UTC interface liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Utils.Progress 8002 interface hash: 2d10c0f8a98f5ec9389adabd0cff3c1b ABI hash: c33622b0de2ac75cce2fddefd881586d export-list hash: 470eada57a968d087705a49045e28146 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: ad2a2de9c90cf8a18002f9ca6039214f sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Utils.Progress.progressClose Language.Fixpoint.Utils.Progress.progressInit Language.Fixpoint.Utils.Progress.progressTick Language.Fixpoint.Utils.Progress.withProgress module dependencies: 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 ascii-progress-0.3.3.0@ascii-progress-0.3.3.0-AaLvoyEtYmuH04MiSlDfRY 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 concurrent-output-1.7.9@concurrent-output-1.7.9-3kS8cAeEcLcYjDfj5flxQ containers-0.5.7.1@containers-0.5.7.1 data-default-0.7.1.1@data-default-0.7.1.1-7EGYJX2YWqWJRbPFUHNoCr data-default-class-0.1.2.0@data-default-class-0.1.2.0-GsXqKN6o1X9jr0fF5qCVD data-default-instances-containers-0.0.1@data-default-instances-containers-0.0.1-bob6IQGdJq92c061H46zK data-default-instances-dlist-0.0.1@data-default-instances-dlist-0.0.1-FKnZBeovJMk4M89wQxDhjl data-default-instances-old-locale-0.0.1@data-default-instances-old-locale-0.0.1-9zaGDEmgOixKkmLylWdN5l deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0 dlist-0.8.0.2@dlist-0.8.0.2-6Wnps4GD7EFnRucVzXIFD exceptions-0.8.3@exceptions-0.8.3-ADEDRATtUrMK1JW4zMQ9U filepath-1.4.1.1@filepath-1.4.1.1 ghc-boot-th-8.0.2@ghc-boot-th-8.0.2 ghc-prim-0.5.0.0 integer-gmp-1.0.0.1 mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6 old-locale-1.0.0.7@old-locale-1.0.0.7-KGBP1BSKxH5GCm0LnZP04j process-1.4.3.0@process-1.4.3.0 stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve template-haskell-2.11.1.0 terminal-size-0.3.2.1@terminal-size-0.3.2.1-LL700oIgYTEEtJWQuzY2Y4 text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR time-1.6.0.1@time-1.6.0.1 transformers-0.5.2.0@transformers-0.5.2.0 unix-2.7.2.1@unix-2.7.2.1 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 data-default-instances-containers-0.0.1@data-default-instances-containers-0.0.1-bob6IQGdJq92c061H46zK:Data.Default.Instances.Containers data-default-instances-dlist-0.0.1@data-default-instances-dlist-0.0.1-FKnZBeovJMk4M89wQxDhjl:Data.Default.Instances.DList data-default-instances-old-locale-0.0.1@data-default-instances-old-locale-0.0.1-9zaGDEmgOixKkmLylWdN5l:Data.Default.Instances.OldLocale 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 transformers-0.5.2.0@transformers-0.5.2.0:Control.Monad.Trans.Error 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.Const base-4.9.1.0:Data.Functor.Identity 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 dlist-0.8.0.2@dlist-0.8.0.2-6Wnps4GD7EFnRucVzXIFD:Data.DList ghc-boot-th-8.0.2@ghc-boot-th-8.0.2:GHC.LanguageExtensions.Type template-haskell-2.11.1.0:Language.Haskell.TH.Syntax terminal-size-0.3.2.1@terminal-size-0.3.2.1-LL700oIgYTEEtJWQuzY2Y4:System.Console.Terminal.Common 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 import -/ ascii-progress-0.3.3.0@ascii-progress-0.3.3.0-AaLvoyEtYmuH04MiSlDfRY:System.Console.AsciiProgress 9caa8c742b5fcb492670ca59b2046c82 import -/ ascii-progress-0.3.3.0@ascii-progress-0.3.3.0-AaLvoyEtYmuH04MiSlDfRY:System.Console.AsciiProgress.Internal 3e57926debd6d4a12745e817aa93d0d5 import -/ base-4.9.1.0:Control.Monad a6784c5dab0d75c63dabec5a37843f98 import -/ base-4.9.1.0:Data.IORef 71c87b0b25a8bca3e3f4497725f5e543 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.IO.Unsafe 1c057c642b0e201f55a24585d3d94564 import -/ base-4.9.1.0:GHC.IORef 306bd532f2f3b000347cbe6316adc20e import -/ base-4.9.1.0:GHC.Real 82e4e59051a13dba1da63e1e970a69e6 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ base-4.9.1.0:System.IO.Unsafe 1e3c5b8dd8cf6850ae43cce967bb46cd import -/ cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Verbosity 7bf06f3afbdc9ccb1d15f1e14eae9da1 import -/ concurrent-output-1.7.9@concurrent-output-1.7.9-3kS8cAeEcLcYjDfj5flxQ:System.Console.Regions d02a80457369aaa808dea94bd0ed102f import -/ data-default-class-0.1.2.0@data-default-class-0.1.2.0-GsXqKN6o1X9jr0fF5qCVD:Data.Default.Class 6e6ff0df81cdc438838c4b9b3d4260b1 import -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 92c5507181360372babca5b5f68e2d7c $trModule :: GHC.Types.Module {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.Module Language.Fixpoint.Utils.Progress.$trModule2 Language.Fixpoint.Utils.Progress.$trModule1) -} 7fd7d7eb2415a250062af0c6b7a1de1c $trModule1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Language.Fixpoint.Utils.Progress"#) -} 1bf1bff569e8d0b1defe46717aa1eb63 $trModule2 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf"#) -} 63049062e5179ee22533e49732bc32db pbRef :: GHC.IORef.IORef (GHC.Base.Maybe System.Console.AsciiProgress.ProgressBar) {- Inline: NOINLINE -} b722a26a9046064106c0291a4455a3c5 progressClose :: GHC.Types.IO () {- Arity: 1, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Utils.Progress.progressClose1 `cast` (Sym (GHC.Types.N:IO[0] <()>_R)) -} b02b430fa5e483fd1064421671350a0f progressClose1 :: GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (s :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case Language.Fixpoint.Utils.Progress.pbRef `cast` (GHC.IORef.N:IORef[0] _N) of wild { GHC.STRef.STRef var# -> case GHC.Prim.readMutVar# @ GHC.Prim.RealWorld @ (GHC.Base.Maybe System.Console.AsciiProgress.ProgressBar) var# s of ds1 { (#,#) ipv ipv1 -> case ipv1 of wild1 { GHC.Base.Nothing -> (# ipv, GHC.Tuple.() #) GHC.Base.Just p -> System.Console.AsciiProgress.complete1 p ipv } } }) -} 960917b1f2dcb63412196369c958ced7 progressInit :: GHC.Types.Int -> GHC.Types.IO () {- Arity: 2, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Utils.Progress.progressInit1 `cast` (_R ->_R Sym (GHC.Types.N:IO[0] <()>_R)) -} d9f8d83ded56c4a06b395a0056e4e1b6 progressInit1 :: GHC.Types.Int -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 2, Strictness: , Unfolding: (\ (n :: GHC.Types.Int) (eta :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case System.Console.CmdArgs.Verbosity.ref `cast` (GHC.IORef.N:IORef[0] _N) of wild { GHC.STRef.STRef var# -> case GHC.Prim.readMutVar# @ GHC.Prim.RealWorld @ System.Console.CmdArgs.Verbosity.Verbosity var# eta of ds { (#,#) ipv ipv1 -> let { $j :: GHC.Prim.Void# -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 1, Strictness: -} = \ (w :: GHC.Prim.Void#)[OneShot] -> case System.Console.AsciiProgress.newProgressBar1 (System.Console.AsciiProgress.Internal.Options Language.Fixpoint.Utils.Progress.progressInit6 System.Console.AsciiProgress.Internal.$fDefaultOptions4 Language.Fixpoint.Utils.Progress.progressInit5 (GHC.Real.$fIntegralInt_$ctoInteger n) Language.Fixpoint.Utils.Progress.progressInit4 Language.Fixpoint.Utils.Progress.progressInit2 System.Console.AsciiProgress.Internal.getProgressStr) ipv of ds1 { (#,#) ipv2 ipv3 -> case Language.Fixpoint.Utils.Progress.pbRef `cast` (GHC.IORef.N:IORef[0] _N) of wild1 { GHC.STRef.STRef var#1 -> case GHC.Prim.writeMutVar# @ GHC.Prim.RealWorld @ (GHC.Base.Maybe System.Console.AsciiProgress.ProgressBar) var#1 (GHC.Base.Just @ System.Console.AsciiProgress.ProgressBar ipv3) ipv2 of s2# { DEFAULT -> (# s2#, GHC.Tuple.() #) } } } } in case ipv1 of wild1 { System.Console.CmdArgs.Verbosity.Quiet -> (# ipv, GHC.Tuple.() #) System.Console.CmdArgs.Verbosity.Normal -> $j GHC.Prim.void# System.Console.CmdArgs.Verbosity.Loud -> $j GHC.Prim.void# } } }) -} e9ca5bc0ca4a2df5bfa8a02b2c963028 progressInit2 :: GHC.Base.Maybe [GHC.Types.Char] {- Strictness: m2, Unfolding: (GHC.Base.Just @ [GHC.Types.Char] Language.Fixpoint.Utils.Progress.progressInit3) -} e1626c782ca9acb7e147660cea367234 progressInit3 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "Done solving."#) -} b8ff98648e203788f50e000a8b31b125 progressInit4 :: GHC.Types.Int {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.I# 80#) -} c7eb38c3c6da23c7223153a793148578 progressInit5 :: GHC.Types.Char {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.C# '.'#) -} 1a936dbe785331c38c1c6eb9060ab2af progressInit6 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "Working :percent [:bar]"#) -} 4251deeb770e243019a2ae5545dd09a2 progressTick :: GHC.Types.IO () {- Arity: 1, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Utils.Progress.progressTick1 `cast` (Sym (GHC.Types.N:IO[0] <()>_R)) -} ac5566bb4a52b014287b9945a9b05889 progressTick1 :: GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (s :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case Language.Fixpoint.Utils.Progress.pbRef `cast` (GHC.IORef.N:IORef[0] _N) of wild { GHC.STRef.STRef var# -> case GHC.Prim.readMutVar# @ GHC.Prim.RealWorld @ (GHC.Base.Maybe System.Console.AsciiProgress.ProgressBar) var# s of ds1 { (#,#) ipv ipv1 -> case ipv1 of wild1 { GHC.Base.Nothing -> (# ipv, GHC.Tuple.() #) GHC.Base.Just pr -> System.Console.AsciiProgress.tick1 pr ipv } } }) -} 711691385c363d35855a35d90e2def22 withProgress :: GHC.Types.Int -> GHC.Types.IO a -> GHC.Types.IO a {- Arity: 2, Strictness: , Unfolding: (\ @ a (n :: GHC.Types.Int) (act :: GHC.Types.IO a) -> System.Console.Regions.displayConsoleRegions @ GHC.Types.IO @ a Control.Monad.IO.Class.$fMonadIOIO Control.Monad.Catch.$fMonadMaskIO (\ (s :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case System.Console.CmdArgs.Verbosity.ref `cast` (GHC.IORef.N:IORef[0] _N) of wild { GHC.STRef.STRef var# -> case GHC.Prim.readMutVar# @ GHC.Prim.RealWorld @ System.Console.CmdArgs.Verbosity.Verbosity var# s of ds { (#,#) ipv ipv1 -> let { $j :: GHC.Prim.Void# -> (# GHC.Prim.State# GHC.Prim.RealWorld, a #) {- Arity: 1, Strictness: -} = \ (w :: GHC.Prim.Void#)[OneShot] -> case System.Console.AsciiProgress.newProgressBar1 (System.Console.AsciiProgress.Internal.Options Language.Fixpoint.Utils.Progress.progressInit6 System.Console.AsciiProgress.Internal.$fDefaultOptions4 Language.Fixpoint.Utils.Progress.progressInit5 (GHC.Real.$fIntegralInt_$ctoInteger n) Language.Fixpoint.Utils.Progress.progressInit4 Language.Fixpoint.Utils.Progress.progressInit2 System.Console.AsciiProgress.Internal.getProgressStr) ipv of ds1 { (#,#) ipv2 ipv3 -> case Language.Fixpoint.Utils.Progress.pbRef `cast` (GHC.IORef.N:IORef[0] _N) of wild1 { GHC.STRef.STRef var#1 -> case GHC.Prim.writeMutVar# @ GHC.Prim.RealWorld @ (GHC.Base.Maybe System.Console.AsciiProgress.ProgressBar) var#1 (GHC.Base.Just @ System.Console.AsciiProgress.ProgressBar ipv3) ipv2 of s2# { DEFAULT -> case act `cast` (GHC.Types.N:IO[0] _R) s2# of ds2 { (#,#) ipv4 ipv5 -> Language.Fixpoint.Utils.Progress.withProgress1 @ a ipv5 ipv4 } } } } } in case ipv1 of wild1 { System.Console.CmdArgs.Verbosity.Quiet -> case act `cast` (GHC.Types.N:IO[0] _R) ipv of ds1 { (#,#) ipv2 ipv3 -> Language.Fixpoint.Utils.Progress.withProgress1 @ a ipv3 ipv2 } System.Console.CmdArgs.Verbosity.Normal -> $j GHC.Prim.void# System.Console.CmdArgs.Verbosity.Loud -> $j GHC.Prim.void# } } }) `cast` (Sym (GHC.Types.N:IO[0] _R))) -} 49e925ca5eab077cc88354c06157f75c withProgress1 :: a -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, a #) {- Arity: 2, Strictness: , Unfolding: (\ @ a (r :: a) (eta :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case Language.Fixpoint.Utils.Progress.pbRef `cast` (GHC.IORef.N:IORef[0] _N) of wild { GHC.STRef.STRef var# -> case GHC.Prim.readMutVar# @ GHC.Prim.RealWorld @ (GHC.Base.Maybe System.Console.AsciiProgress.ProgressBar) var# eta of ds1 { (#,#) ipv ipv1 -> case ipv1 of wild1 { GHC.Base.Nothing -> (# ipv, r #) GHC.Base.Just p -> case p of ww { System.Console.AsciiProgress.ProgressBar ww1 ww2 ww3 -> case ww1 of ww4 { System.Console.AsciiProgress.Internal.ProgressBarInfo ww5 ww6 ww7 ww8 -> case ww6 of ww9 { Control.Concurrent.Chan.Chan ww10 ww11 -> case Control.Concurrent.Chan.$wwriteChan @ GHC.Integer.Type.Integer ww10 ww11 (case ww5 of wild2 { System.Console.AsciiProgress.Internal.Options ds2 ds3 ds4 ds5 ds6 ds7 ds8 -> ds5 }) ipv of ds2 { (#,#) ipv2 ipv3 -> case GHC.Prim.atomically# @ () (Control.Concurrent.Async.waitSTM1 @ () ww2) ipv2 of ds3 { (#,#) ipv4 ipv5 -> (# ipv4, r #) } } } } } } } }) -} vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False