==================== FINAL INTERFACE ==================== 2017-05-08 17:11:11.748801 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Parse [family instance module] 8002 interface hash: 54977c012f72448db366ec7f0c788ed1 ABI hash: db0d60c283eaf1d912c37417b2899bec export-list hash: c875cc7c4de8cd2d4926581732367580 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 19e1a6ff22e28889ceb15fd8e3413586 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Parse.addOperatorP Language.Fixpoint.Parse.angles Language.Fixpoint.Parse.bindP Language.Fixpoint.Parse.blanks Language.Fixpoint.Parse.braces Language.Fixpoint.Parse.brackets Language.Fixpoint.Parse.bvSortP Language.Fixpoint.Parse.colon Language.Fixpoint.Parse.comma Language.Fixpoint.Parse.condIdP Language.Fixpoint.Parse.constantP Language.Fixpoint.Parse.dcolon Language.Fixpoint.Parse.doParse' Language.Fixpoint.Parse.expr0P Language.Fixpoint.Parse.exprP Language.Fixpoint.Parse.freshIntP Language.Fixpoint.Parse.funAppP Language.Fixpoint.Parse.infixIdP Language.Fixpoint.Parse.initPState Language.Fixpoint.Parse.integer Language.Fixpoint.Parse.isSmall Language.Fixpoint.Parse.lexer Language.Fixpoint.Parse.locLowerIdP Language.Fixpoint.Parse.locParserP Language.Fixpoint.Parse.locUpperIdP Language.Fixpoint.Parse.lowerIdP Language.Fixpoint.Parse.pairP Language.Fixpoint.Parse.parens Language.Fixpoint.Parse.parseFromFile Language.Fixpoint.Parse.predP Language.Fixpoint.Parse.qualifierP Language.Fixpoint.Parse.refBindP Language.Fixpoint.Parse.refDefP Language.Fixpoint.Parse.refP Language.Fixpoint.Parse.refaP Language.Fixpoint.Parse.remainderP Language.Fixpoint.Parse.reserved Language.Fixpoint.Parse.reservedOp Language.Fixpoint.Parse.semi Language.Fixpoint.Parse.sortP Language.Fixpoint.Parse.symbolP Language.Fixpoint.Parse.upperIdP Language.Fixpoint.Parse.whiteSpace Language.Fixpoint.Types.Constraints.mkQual Language.Fixpoint.Parse.Fixity{Language.Fixpoint.Parse.FInfix Language.Fixpoint.Parse.FPostfix Language.Fixpoint.Parse.FPrefix fassoc fname fop1 fop2 fpred} Language.Fixpoint.Parse.Inputable{Language.Fixpoint.Parse.rr Language.Fixpoint.Parse.rr'} Language.Fixpoint.Parse.PState Language.Fixpoint.Parse.Parser Text.Parsec.Expr.Assoc{Text.Parsec.Expr.AssocLeft Text.Parsec.Expr.AssocNone Text.Parsec.Expr.AssocRight} module dependencies: Language.Fixpoint.Misc Language.Fixpoint.Smt.Bitvector Language.Fixpoint.Smt.Types Language.Fixpoint.Types Language.Fixpoint.Types.Config Language.Fixpoint.Types.Constraints Language.Fixpoint.Types.Environments Language.Fixpoint.Types.Errors Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Refinements Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Spans Language.Fixpoint.Types.Substitutions Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Utils.Files 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 boxes-0.1.4@boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m bytestring-0.10.8.1@bytestring-0.10.8.1 cereal-0.5.4.0@cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e 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 intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6 parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw pretty-1.1.3.3@pretty-1.1.3.3 process-1.4.3.0@process-1.4.3.0 split-0.2.3.1@split-0.2.3.1-FWyXC6nhV0H3AfM8IzrEFk stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS 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 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 cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Explicit.Help hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Substitutions stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve:Control.Monad.STM syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS:Data.Generics.Instances 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.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 intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Smt.Bitvector liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Config liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Triggers 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 unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet import -/ base-4.9.1.0:Data.Char 01433d23661edb6e5ef1536ef1e6774c import -/ base-4.9.1.0:Data.Either 20b09ef8d0a5b74fdec011c40c1587f5 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.Maybe d876c4ffe4b3c43755a781e8ad860d88 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Generics 1dbec2bc7dd1c5bd8c89ed857eaed19b import -/ base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439 import -/ base-4.9.1.0:GHC.Num 00bfaa7b2f9d6084913c0697a8a49ec8 import -/ base-4.9.1.0:GHC.Real 82e4e59051a13dba1da63e1e970a69e6 import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:GHC.Unicode a175ecf20bf1272d9ae31337e7da43ab import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ base-4.9.1.0:System.IO c9de64c5f5407c4cf1c52500c4d15200 import -/ base-4.9.1.0:Text.Read 75c59863e882ebaec4532e9465e2ee9b import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 import -/ integer-gmp-1.0.0.1:GHC.Integer.Type 318df275d77dcdb18e0006d8d7870c2a import -/ Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b thd3 a3d12468d25f98643f8778e86522f8c9 tshow 6b8c68197267609218874f3cacce684a import -/ Language.Fixpoint.Smt.Bitvector edcf32f8c79e49d73b2e181b4f8eeb76 exports: 8fc5af4e0138fbe238a77e26a4bbba01 S32 810545c43fce1dc5c17b4cf50b09817c S64 771bcaccacd50dd789c017dcc0d4fec9 mkSort 495a1cfe637d49b2964210562216f721 import -/ Language.Fixpoint.Smt.Types f3cd20e31d878df1471a18301daec0de exports: 7c305226ada8b0569e9625efa6775eda Assert a9e6531d6593ad5a9c68820a1a165641 CheckSat f2fa057ab6f3c20ea3a90eb688c3a269 Command db4fa671cc40a53c2f366ce62e071bce Declare 575c084eef6a63c416f3c237c97364ff Distinct 3ddec31ea907f1cba52f5efed6312710 Pop 39fb29f039411d90150c912f1f7e69d1 Push 607cb0706741c90307ad425c1f1c7b1a import -/ Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2 exports: 0af36b6c83c4ee67c2150e62bec20e14 import -/ Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba AEnv 3aa046a2b2ae097e8a5592c1096efa82 Equ 19ea0681fee1b3483daa3594b0594e0e Equation eac7f2fd7810f6b8d354766fddc20661 FI 171677103e830999a5fe28102b0a41d4 FIO b66cfbfba955ddb5cb18722b1ab046a1 FInfo 3213e85dfe758ae89c1ad08a0ad56ebb FInfoWithOpts 4cf6533fe54de93a6457710d8f052012 FixSolution 67904f850ad0695c6aac05bfaa1b978e KS ea755eb610fbe8b8c594f31742595eca Qualifier e9487053c6bce40dd84cd1ee9e0af940 Rewrite e4074cdd8f96c47ee78affb568c03643 SMeasure 613e009e257b39bbae66da8195e449e6 SubC e2623f0e115cd5fe06013981436e60f2 Tag c0a373bad87a0eab9cc446e29001a4da WfC 17c7f6e4d74d3b539dca7c3556bc9f4f mkQual 3865b777ec03c888aeca0f51c7a269fc sid 472cbfd17764049f009a1fcf6d3416f9 subC 8e975f4546f2c8cee5ade9edad0c0ea1 wfC 074a7b5c69a3936c0a8b720692defdd6 wrft d83900b61f262b29c1f6a26d0573c4bf import -/ Language.Fixpoint.Types.Environments 543f9ab0c0e6bbaadca48613d73bba8e IBindEnv cb3149cea0637142c180ee8c5b609e12 bindEnvFromList 833f3b7efe2e281df230fd9449cef290 emptyIBindEnv 318829125bf1dc50e1d5a9154100fc92 fromListSEnv 092c4e2ef40e54493539888ea1496f8c insertsIBindEnv de3368f96bdbb498df263d1c3ee28507 import -/ Language.Fixpoint.Types.Errors acf2a3afc2cd57dc221f14b12643303f exports: d1c211f3a46ca6570fe4df4a74a8801d Crash 74975cecdaea3de8c4c3ca46c83aa885 FixResult b8a8d3729cc27dec2badf145032490ba Safe 4aeb1a46e3ea5544f2e7f6c28cba263f Unsafe 41816750d4773bcafd7f5c5fc92a0c5c die dbaf75abf19387c15f40a8c2817884dc err b185d212e6fd3e08580a9e8d59a48b3a import -/ Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747 LocSymbol 2b097f7c1b442bde052125f99a321ad2 Symbol 107cf7489707dd0de1ccae6d6e42b2ab headSym 0145f4bdabe47e9a4fa347724795eb4f symChars 598ad57d633d26867873e606b67eeb54 symbol 9ba5ac52642e1a4c5f8c1bb4bca7d4db import -/ Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5 pprint ddfd75447423a2dd5342795b308506e9 simplify dc6164f0a4fc395b449fadfb44edc356 import -/ Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0 Constant f9150d691e53d45a280a25d582490a4a Div e909aa900addd0ad7593c0198ad207d6 EApp f28c7506728f5dca0b25fa72af857711 EBin b68370650d83bb943d8ce8854812774a EBot 5712d459a92e0689357c9c4fffcc5a2f ECon 281ba72942164385453e186922876aeb ECst 06c1a8791e33ac7ca6714e477124b679 EIte 5c7e639e14211792c2af633aaf1234a7 ELam 7952c5569d03e76870e8a12746cdba85 ENeg 284e85851508aec78c3b87be0c0aad72 ESym 49a58f7ebb51504c93a7cf428cb889dd EVar 566b7c7ff8fdc63c55d18f2d537af0b8 Eq c1b25320389b84ebe6a3e3b57ad71aff Expr bb73da387a50fe3797caa66eb4fb9c35 Ge 96adade7a1da1c4d74f9e2f94029d822 Gt ea8f726ea745c87fa325241c9f766139 I 07f12202803d85c499ec85fe4e0498a6 KV 70182aa5a77bf40a7577c3fac04676bb KVar 68dcac5ad144e4854dc35cff62d456d0 L baa0d1c6d9f11185bdc6d28166d17dcb Le 0202693a0d64fd701710b60f9c14e097 Lt a71d5d19052b76eb8f2975c70650ed5a Minus 5df52931b740a076f4ff7b26072bda49 Mod 27ae7b1c0480b575544a66d45559b9af Ne a2df0470635e5470e3d644138539d7fd PAnd 434a1d6f3ed5fe9da9c4ef7ee0a5ab14 PAtom 866d6e2737f3ad25130ad773f2c60d65 PFalse f86be892268a2b3bd8031229a6526c6a PGrad 23acd6ca28f3136aab5ec62b271ac653 PIff ff91f60b88fbd087ae722287900be9ae PImp 925695079b283b1b4a08615ff0cba7ee PKVar cac5df8173370c1a324ebcbaf20e9f3d PNot bf05d60bf54fd329ab000a213583724e POr 91663db60e0b5604919103347cf2669f PTrue bc0d3a71b6fe213efce25819b87c1a37 Plus 480eab55ce9a69f4216bc43285acfa8d R 8a4470edf106212711fabff528a44457 RR 0a874a8408748c051c510af8e624ba5d Reft f5a891a2ea821362b40d468df43305ef Reft bb73da387a50fe3797caa66eb4fb9c35 SL 1d5cb23ce3c7961073e2c0ab78f54c9e SortedReft bb73da387a50fe3797caa66eb4fb9c35 Subst bb73da387a50fe3797caa66eb4fb9c35 SymConst 5a08fa37953f67458151c952bcdb1298 Times 7bc3701e441f3478a9bc53de964d3cb5 Ueq b9a0562fdb85b8438e681e351e1352c3 Une 5b8cd0f7269a12bb2057ce4c97e5da43 eVar 74d88810d65881403751f807b276cb41 expr 9640da7d5f0616e1993594aaee76baab mkEApp cb0283cf7ac18058af2853bff758d505 pAnd 8eafe07d5b6d6c31808f02c13e22e044 pGAnd c228f6e9740e7920d55acbc056151d2a pGAnds 0375e6488118f1d09e84fbcec5b2329e pIte 8946857582484b3db9c8ad262f81e78a srcGradInfo e153a02f91282edd9de255f35c795779 import -/ Language.Fixpoint.Types.Sorts 83ad94f859259f35d028eee3fcecd8da FObj 4e5ed6b9ce7311bcbda3bd006e5bfe03 FTycon f220e315b91d89c678725efa47bd0097 FVar b06369bc046a2ba909f1322bb5457eed Sort f220e315b91d89c678725efa47bd0097 boolFTyCon bc0b12aef70d320044ec75de0acbaeda fApp 3f7b2e6a1177e64486de63ab28249ae0 fAppTC 5fd8f5fea1268b97c68ee6e953dda7fc intFTyCon 9d7d0b2da6bfbc0f9e6b00cb6c36312d listFTyCon b99990236d5894c2a41e38fc3e3c79e5 mkFFunc b4ab65d9d8f90471811316477a4ee4c3 numFTyCon 5c9710a6a3877997db70ea1e8a1c9334 realFTyCon fe3c637e7fa324410816d272f7b3342c strFTyCon 7f3a72cde32299474fd0cd5fc611756c symbolFTycon c952aefdec7f3e699dabd04fb7fa49a4 import -/ Language.Fixpoint.Types.Spans 1fc6b25ff5984c11eae379e71fc71312 Loc 54965c2f5b4c42631bd4bf6c2a45fb99 Located 3776dcc969376081bef9e6f9cda8b19a SS 0a16c4a7c77f1acd001f2aeec2a1707c SrcSpan f21a066d73255c1d9f84525a474c4a07 dummySpan 894d72f7dbefa0883876db91a2fc70da sourcePosElts 6b51cbd53be3b1c2ca38e2722db3b378 toSourcePos 86a3bb153bc3e0f60e649c4cbba39868 import -/ Language.Fixpoint.Types.Substitutions b7f0aa61d5c475fe500e5e08936d5953 mkSubst 6e7145d21639b1c40a59e5308fa032b9 import -/ mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6:Control.Monad.State 749dca8ca0e6625b32091d445bd92b01 import -/ mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6:Control.Monad.State.Class 6d31234b0a911b56412061943d18b89e import -/ parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw:Text.Parsec b63ffbcfd32da83683c00215f9c65dae import -/ parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw:Text.Parsec.Char d53119cfb6cc359f4e0f9ede64e0f78f import -/ parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw:Text.Parsec.Combinator 66f1086aa7a42f6659ea2da2b481ca67 import -/ parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw:Text.Parsec.Error ce2217365701a41a4565dbdaf79d63d9 import -/ parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw:Text.Parsec.Expr b6cba784a2474a5c34c526091ea7a3da import -/ parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw:Text.Parsec.Pos 722d2dd11f7d41778d1cb0c7e9424b8c import -/ parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw:Text.Parsec.Prim 09b8e7124f6cf9e8a58a20d480bbf894 import -/ parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw:Text.Parsec.Token 5cde724d669ad19bd7a72e94fb706454 import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text 02cbbc20bdd508fabc38de38896bbae0 import -/ transformers-0.5.2.0@transformers-0.5.2.0:Control.Monad.Trans.State.Lazy 371607e50dde46b5f4103b3ab334a497 import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base 2b46c25df89b2b3ba6c50f91554dc6fe import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Strict 05b98a538bea7df232363274cae058f8 import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet ee03eb1144d3c6624c9254dd24f4ef67 b39be6775c0e1c95f888134ebef8cdc1 $dmrr :: Language.Fixpoint.Parse.Inputable a => GHC.Base.String -> a fe85ae84867d6fffb41da4cd63ae78e9 $dmrr' :: Language.Fixpoint.Parse.Inputable a => GHC.Base.String -> GHC.Base.String -> a 1e0f1fa97f25d62ce739b510b029de27 $fGenericDef :: GHC.Generics.Generic (Language.Fixpoint.Parse.Def a) DFunId 80016dff4b66a375bea874c066540ed8 $fInputable(,) :: Language.Fixpoint.Parse.Inputable (Language.Fixpoint.Types.Errors.FixResult GHC.Integer.Type.Integer, Language.Fixpoint.Types.Constraints.FixSolution) DFunId 80016dff4b66a375bea874c066540ed8 $fInputableCommand :: Language.Fixpoint.Parse.Inputable Language.Fixpoint.Smt.Types.Command DFunId 80016dff4b66a375bea874c066540ed8 $fInputableConstant :: Language.Fixpoint.Parse.Inputable Language.Fixpoint.Types.Refinements.Constant DFunId 80016dff4b66a375bea874c066540ed8 $fInputableExpr :: Language.Fixpoint.Parse.Inputable Language.Fixpoint.Types.Refinements.Expr DFunId 80016dff4b66a375bea874c066540ed8 $fInputableFInfoWithOpts :: Language.Fixpoint.Parse.Inputable (Language.Fixpoint.Types.Constraints.FInfoWithOpts ()) DFunId 80016dff4b66a375bea874c066540ed8 $fInputableFixResult :: Language.Fixpoint.Parse.Inputable (Language.Fixpoint.Types.Errors.FixResult GHC.Integer.Type.Integer) DFunId 80016dff4b66a375bea874c066540ed8 $fInputableGInfo :: Language.Fixpoint.Parse.Inputable (Language.Fixpoint.Types.Constraints.FInfo ()) DFunId 80016dff4b66a375bea874c066540ed8 $fInputableSymbol :: Language.Fixpoint.Parse.Inputable Language.Fixpoint.Types.Names.Symbol DFunId 80016dff4b66a375bea874c066540ed8 $fInputable[] :: Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Smt.Types.Command] DFunId 1e0f1fa97f25d62ce739b510b029de27 $fShowDef :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => GHC.Show.Show (Language.Fixpoint.Parse.Def a) DFunId 23a9f1f3bbe78087ad9758f4c380e94e $tc'Axm :: GHC.Types.TyCon 399d653637317922c8b4e61604ef366b $tc'C:Inputable :: GHC.Types.TyCon c514fb48c1c6dc657606ee4c5d7a72bb $tc'Con :: GHC.Types.TyCon baa60f3b9fba3f440ec9cf1198f891ef $tc'Cst :: GHC.Types.TyCon 0e7c6596cc1e25031f78a2af4f757a5a $tc'Def :: GHC.Types.TyCon 8d811ddbad2421a3ab8e2a37fe1b5486 $tc'Dis :: GHC.Types.TyCon 5ea52bda86124b9dfecea72126bdef08 $tc'Expand :: GHC.Types.TyCon 8fdedc511a9b4f7d11d321aca88b5209 $tc'FInfix :: GHC.Types.TyCon 0b9eb1faa0bd0f07d509f2db6b0cadf3 $tc'FPostfix :: GHC.Types.TyCon e08dde851558dfe7ac79de37845914be $tc'FPrefix :: GHC.Types.TyCon ed6ecc78d1c2c27e6fafc33a544989d8 $tc'Fuel :: GHC.Types.TyCon 4b2e450d29d1e4c736b58b91b5c29556 $tc'IBind :: GHC.Types.TyCon 8972b19ae6a7b6afc8056d69e2771f36 $tc'Kut :: GHC.Types.TyCon a89fd29d148c1a61f6d0c08cb09becbf $tc'Mat :: GHC.Types.TyCon 83b4835c66ccff344387a2196a8b30c0 $tc'Opt :: GHC.Types.TyCon 046b370aab9561f18de9f57608e58950 $tc'PState :: GHC.Types.TyCon 04eadc787f801861f20a438bdeb84072 $tc'Pack :: GHC.Types.TyCon e8c6d2f30b885133430ae82f895b79a7 $tc'Qul :: GHC.Types.TyCon 6acc3e744eaf434c8a700c6c84ddc5ea $tc'Srt :: GHC.Types.TyCon cfb6d3bcf54a6a13aa7e097a6dfd63db $tc'Syms :: GHC.Types.TyCon 6a94342864dc863239b19c4c278df27e $tc'Wfc :: GHC.Types.TyCon 13d5a57aa99a9a01c4b273ec191b63a6 $tcDef :: GHC.Types.TyCon 675594ae334ec064e282876bd656bcfb $tcFixity :: GHC.Types.TyCon b85599253a9ce0bcd104aba6f9a95c5d $tcInputable :: GHC.Types.TyCon fcd0db47e65c71a9212ff314b9e58aeb $tcPState :: GHC.Types.TyCon ad90cc232a9ef84540c798707725bf11 $trModule :: GHC.Types.Module 1e0f1fa97f25d62ce739b510b029de27 data Def a = Srt !Language.Fixpoint.Types.Sorts.Sort | Axm !Language.Fixpoint.Types.Refinements.Expr | Cst !(Language.Fixpoint.Types.Constraints.SubC a) | Wfc !(Language.Fixpoint.Types.Constraints.WfC a) | Con !Language.Fixpoint.Types.Names.Symbol !Language.Fixpoint.Types.Sorts.Sort | Dis !Language.Fixpoint.Types.Names.Symbol !Language.Fixpoint.Types.Sorts.Sort | Qul !Language.Fixpoint.Types.Constraints.Qualifier | Kut !Language.Fixpoint.Types.Refinements.KVar | Pack !Language.Fixpoint.Types.Refinements.KVar !GHC.Types.Int | IBind !GHC.Types.Int !Language.Fixpoint.Types.Names.Symbol !Language.Fixpoint.Types.Refinements.SortedReft | Opt !GHC.Base.String | Def !Language.Fixpoint.Types.Constraints.Equation | Mat !Language.Fixpoint.Types.Constraints.Rewrite | Fuel ![(GHC.Types.Int, GHC.Types.Int)] | Expand ![(GHC.Types.Int, GHC.Types.Bool)] | Syms !GHC.Types.Int 838ea4bcb74a0b12147cfb8c75de2f8b data Fixity = FInfix {fpred :: GHC.Base.Maybe GHC.Types.Int, fname :: GHC.Base.String, fop2 :: GHC.Base.Maybe (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr), fassoc :: Text.Parsec.Expr.Assoc} | FPrefix {fpred :: GHC.Base.Maybe GHC.Types.Int, fname :: GHC.Base.String, fop1 :: GHC.Base.Maybe (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr)} | FPostfix {fpred :: GHC.Base.Maybe GHC.Types.Int, fname :: GHC.Base.String, fop1 :: GHC.Base.Maybe (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr)} 80016dff4b66a375bea874c066540ed8 class Inputable a where rr :: GHC.Base.String -> a rr' :: GHC.Base.String -> GHC.Base.String -> a c4b459c436e502f5810386219970e49b type OpTable = Text.Parsec.Expr.OperatorTable GHC.Base.String GHC.Integer.Type.Integer (Control.Monad.Trans.State.Lazy.State Language.Fixpoint.Parse.PState) Language.Fixpoint.Types.Refinements.Expr c4b459c436e502f5810386219970e49b data PState = PState {fixityTable :: Language.Fixpoint.Parse.OpTable} RecFlag: Recursive 4f87c04bedc57e903951c19f367f096f type Parser = Text.Parsec.Prim.ParsecT GHC.Base.String GHC.Integer.Type.Integer (Control.Monad.Trans.State.Lazy.State Language.Fixpoint.Parse.PState) :: * -> * e66b974e424a074169e851c546ef47a4 type ParserT u a = Text.Parsec.Prim.ParsecT GHC.Base.String u (Control.Monad.Trans.State.Lazy.State Language.Fixpoint.Parse.PState) a 1e0f1fa97f25d62ce739b510b029de27 axiom Rep_Def:: [a] GHC.Generics.Rep (Language.Fixpoint.Parse.Def a) = GHC.Generics.D1 ('GHC.Generics.MetaData "Def" "Language.Fixpoint.Parse" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) ((((GHC.Generics.C1 ('GHC.Generics.MetaCons "Srt" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.Sort)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Axm" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "Cst" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Language.Fixpoint.Types.Constraints.SubC a))) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Wfc" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Language.Fixpoint.Types.Constraints.WfC a))))) GHC.Generics.:+: ((GHC.Generics.C1 ('GHC.Generics.MetaCons "Con" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.Sort)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Dis" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.Sort))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "Qul" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Constraints.Qualifier)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Kut" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.KVar))))) GHC.Generics.:+: (((GHC.Generics.C1 ('GHC.Generics.MetaCons "Pack" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.KVar) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Int)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "IBind" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Int) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.SortedReft)))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "Opt" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Base.String)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Def" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Constraints.Equation)))) GHC.Generics.:+: ((GHC.Generics.C1 ('GHC.Generics.MetaCons "Mat" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Constraints.Rewrite)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Fuel" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [(GHC.Types.Int, GHC.Types.Int)]))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "Expand" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [(GHC.Types.Int, GHC.Types.Bool)])) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Syms" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Int)))))) 7b7382f55b4507fe6fdd905578be71c0 addOperatorP :: Language.Fixpoint.Parse.Fixity -> Language.Fixpoint.Parse.Parser () 24df4145e87326dd3c48db073c240749 angles :: Language.Fixpoint.Parse.ParserT u a -> Language.Fixpoint.Parse.ParserT u a 409229091e07380a0e15f5a02aa4e490 bindP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Names.Symbol ba9d6c2ce01680ded9d53f2fc7d902e9 blanks :: Language.Fixpoint.Parse.Parser GHC.Base.String 7bf9ac807c3601a46b98111d1d4cbe17 braces :: Language.Fixpoint.Parse.ParserT u a -> Language.Fixpoint.Parse.ParserT u a 97a021c5eec78c902ce88a7405d36c5c brackets :: Language.Fixpoint.Parse.ParserT u a -> Language.Fixpoint.Parse.ParserT u a ab2d1e5e16d53fff12b2ea1107594d20 bvSortP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Sorts.Sort d13dd38e9ef220bab373e26e7eae3986 colon :: Language.Fixpoint.Parse.Parser GHC.Base.String b593b56a98da0c990d39a3f1e53ae857 comma :: Language.Fixpoint.Parse.Parser GHC.Base.String 18d3fc571f2102cc3df92bc15eaf9322 condIdP :: Data.HashSet.HashSet GHC.Types.Char -> (GHC.Base.String -> GHC.Types.Bool) -> Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Names.Symbol 62b001c1aaa7404caee692801448cbdd constantP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Refinements.Constant 3ed9c64f20dcfc4c078e02b652eecdb4 dcolon :: Language.Fixpoint.Parse.Parser GHC.Base.String d533a793c3200d77bb93e7e8a90189ed doParse' :: Language.Fixpoint.Parse.Parser a -> Text.Parsec.Pos.SourceName -> GHC.Base.String -> a 6437d1e94f3ad9ae2e64c4cdf77c8002 expr0P :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Refinements.Expr d07b503320851b3cbe1c7786a7546aea exprP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Refinements.Expr 70397140dc82673a6f5e9b43dba067f0 fassoc :: Language.Fixpoint.Parse.Fixity -> Text.Parsec.Expr.Assoc RecSel Left Language.Fixpoint.Parse.Fixity c979676cd4ca2aa03c2c25417aba31a3 fixityTable :: Language.Fixpoint.Parse.PState -> Language.Fixpoint.Parse.OpTable RecSel Left Language.Fixpoint.Parse.PState 63d4944dc6a843f7db5aba3a4c7a1891 fname :: Language.Fixpoint.Parse.Fixity -> GHC.Base.String RecSel Left Language.Fixpoint.Parse.Fixity 7433807122c0956664a565f2cccc4c55 fop1 :: Language.Fixpoint.Parse.Fixity -> GHC.Base.Maybe (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr) RecSel Left Language.Fixpoint.Parse.Fixity c3df13fcb6523214d918cba438d52269 fop2 :: Language.Fixpoint.Parse.Fixity -> GHC.Base.Maybe (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr) RecSel Left Language.Fixpoint.Parse.Fixity 42dc3bf4657dc6d263ef9cbc39ae2a8e fpred :: Language.Fixpoint.Parse.Fixity -> GHC.Base.Maybe GHC.Types.Int RecSel Left Language.Fixpoint.Parse.Fixity 94d29cfdccff8941e1740a18323c0d1c freshIntP :: Language.Fixpoint.Parse.Parser GHC.Integer.Type.Integer 357c914c2bffba8075eaaeebaaee7dc3 funAppP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Refinements.Expr a37666ffe064b3cad9d77abea3ca2c77 infixIdP :: Language.Fixpoint.Parse.Parser GHC.Base.String 3b31a80c7a5d1fbed4627268b3fbca7e initPState :: Language.Fixpoint.Parse.PState 1f9c442f8c5baa9ff2d4b201db25d77f integer :: Language.Fixpoint.Parse.Parser GHC.Integer.Type.Integer 3183b1f59755f922b2437ab5fa5e4af9 isSmall :: GHC.Types.Char -> GHC.Types.Bool f8ec5da16105112b770701148d956c69 lexer :: GHC.Base.Monad m => Text.Parsec.Token.GenTokenParser GHC.Base.String u m 070f570a163dbc343f02eed30ad51aa2 locLowerIdP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Names.LocSymbol ced7c4a2101f8d08e2de7509212fd6b5 locParserP :: Language.Fixpoint.Parse.Parser a -> Language.Fixpoint.Parse.Parser (Language.Fixpoint.Types.Spans.Located a) 539a273fbc84bebb3165f68c69282a17 locUpperIdP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Names.LocSymbol 1eb518f2d8f0774b9595df5ac8285434 lowerIdP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Names.Symbol 2c61464076c0d828ef6914433e343770 pairP :: Language.Fixpoint.Parse.Parser a -> Language.Fixpoint.Parse.Parser z -> Language.Fixpoint.Parse.Parser b -> Language.Fixpoint.Parse.Parser (a, b) 634c316af3921496733192245ddc5f65 parens :: Language.Fixpoint.Parse.ParserT u a -> Language.Fixpoint.Parse.ParserT u a ab56b1373414af049b481c04a69e8710 parseFromFile :: Language.Fixpoint.Parse.Parser b -> Text.Parsec.Pos.SourceName -> GHC.Types.IO b 23c9d19a472398708fa3aeb23ed8b80d predP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Refinements.Expr 95f116b84a01d808e4de86094b9f30c7 qualifierP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Constraints.Qualifier 585b68d5fa5d5ac767ef94273b1c1990 refBindP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Parse.Parser (Language.Fixpoint.Types.Refinements.Reft -> a) -> Language.Fixpoint.Parse.Parser a da80b5161e61e35ebb68bf7d6d1e0b22 refDefP :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Parse.Parser (Language.Fixpoint.Types.Refinements.Reft -> a) -> Language.Fixpoint.Parse.Parser a de7562bdf9b743670fea35af45b89ecf refP :: Language.Fixpoint.Parse.Parser (Language.Fixpoint.Types.Refinements.Reft -> a) -> Language.Fixpoint.Parse.Parser a 03d9f1bdc097b6421e6a57474d640392 refaP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Refinements.Expr b08a7d7e1489e7ede24c6f425ae83a35 remainderP :: Language.Fixpoint.Parse.Parser a -> Language.Fixpoint.Parse.Parser (a, GHC.Base.String, Text.Parsec.Pos.SourcePos) 96729ffe274700dc488b23ba2eaa7908 reserved :: GHC.Base.String -> Language.Fixpoint.Parse.Parser () 12c8cb7fec11b7fb84c88da6d766c80d reservedOp :: GHC.Base.String -> Language.Fixpoint.Parse.Parser () b6a6ad7021251bb64ba87ee0e72705c3 semi :: Language.Fixpoint.Parse.Parser GHC.Base.String d0cb78ca57e22886022b986fc142c2a1 sortP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Sorts.Sort 83cf1861b3b518158e600e036ef2b380 symbolP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Names.Symbol 170a9880f4595b0c4c3fa214777e71e4 upperIdP :: Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Names.Symbol 03ad1f1237653ba5b74a127227a16e55 whiteSpace :: Language.Fixpoint.Parse.Parser () instance GHC.Generics.Generic [Language.Fixpoint.Parse.Def] = Language.Fixpoint.Parse.$fGenericDef instance Language.Fixpoint.Parse.Inputable [(,)] = Language.Fixpoint.Parse.$fInputable(,) instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Smt.Types.Command] = Language.Fixpoint.Parse.$fInputableCommand instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Types.Refinements.Constant] = Language.Fixpoint.Parse.$fInputableConstant instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Parse.$fInputableExpr instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Types.Constraints.FInfoWithOpts] = Language.Fixpoint.Parse.$fInputableFInfoWithOpts instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Parse.$fInputableFixResult instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Parse.$fInputableGInfo instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Parse.$fInputableSymbol instance Language.Fixpoint.Parse.Inputable [[]] = Language.Fixpoint.Parse.$fInputable[] instance GHC.Show.Show [Language.Fixpoint.Parse.Def] = Language.Fixpoint.Parse.$fShowDef family instance GHC.Generics.Rep [Language.Fixpoint.Parse.Def] = Language.Fixpoint.Parse.Rep_Def vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False