Configuring cryptol-2.2.4... Flags chosen: self-contained=True, relocatable=True, static=False Dependency GraphSCC ==1.0.4: using GraphSCC-1.0.4 Dependency QuickCheck ==2.8.1: using QuickCheck-2.8.1 Dependency ansi-terminal ==0.6.2.3: using ansi-terminal-0.6.2.3 Dependency array ==0.5.1.0: using array-0.5.1.0 Dependency async ==2.0.2: using async-2.0.2 Dependency base ==4.8.1.0: using base-4.8.1.0 Dependency containers ==0.5.6.2: using containers-0.5.6.2 Dependency cryptol -any: using cryptol-2.2.4 Dependency deepseq ==1.4.1.1: using deepseq-1.4.1.1 Dependency directory ==1.2.2.0: using directory-1.2.2.0 Dependency filepath ==1.4.0.0: using filepath-1.4.0.0 Dependency gitrev ==1.1.0: using gitrev-1.1.0 Dependency haskeline ==0.7.2.1: using haskeline-0.7.2.1 Dependency heredoc ==0.2.0.0: using heredoc-0.2.0.0 Dependency monadLib ==3.7.3: using monadLib-3.7.3 Dependency old-time ==1.1.0.3: using old-time-1.1.0.3 Dependency presburger ==1.3.1: using presburger-1.3.1 Dependency pretty ==1.1.2.0: using pretty-1.1.2.0 Dependency process ==1.2.3.0: using process-1.2.3.0 Dependency random ==1.1: using random-1.1 Dependency sbv ==4.4: using sbv-4.4 Dependency smtLib ==1.0.7: using smtLib-1.0.7 Dependency syb ==0.5.1: using syb-0.5.1 Dependency template-haskell ==2.10.0.0: using template-haskell-2.10.0.0 Dependency text ==1.2.1.3: using text-1.2.1.3 Dependency tf-random ==0.5: using tf-random-0.5 Dependency transformers ==0.4.2.0: using transformers-0.4.2.0 Dependency utf8-string ==1.0.1.1: using utf8-string-1.0.1.1 Using Cabal-1.22.4.0 compiled by ghc-7.10 Using compiler: ghc-7.10.2 Using install prefix: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2 Binaries installed in: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin Libraries installed in: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s Private binaries installed in: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/libexec Data files installed in: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/x86_64-linux-ghc-7.10.2/cryptol-2.2.4 Documentation installed in: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/doc/x86_64-linux-ghc-7.10.2/cryptol-2.2.4 Configuration files installed in: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/etc Using alex version 3.1.4 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/alex Using ar found on system at: /usr/bin/ar Using c2hs version 0.25.2 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/c2hs Using cpphs version 1.19.3 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/cpphs Using gcc version 4.8 found on system at: /usr/bin/gcc Using ghc version 7.10.2 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc Using ghc-pkg version 7.10.2 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc-pkg No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.16.1 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/haddock Using happy version 1.19.5 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/happy Using haskell-suite found on system at: haskell-suite-dummy-location Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location No hmake found Using hpc version 0.67 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/hpc Using hsc2hs version 0.67 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/hsc2hs Using hscolour version 1.22 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/HsColour No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found Using pkg-config version 0.26 found on system at: /usr/bin/pkg-config Using strip version 2.24 found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found Component build order: library, executable 'cryptol' creating dist/build creating dist/build/autogen Building cryptol-2.2.4... /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc-pkg init dist/package.conf.inplace Preprocessing library cryptol-2.2.4... creating dist/build/Cryptol /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/happy -agc -o dist/build/Cryptol/Parser.hs src/Cryptol/Parser.y creating dist/build/Cryptol/Parser /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/alex -g -o dist/build/Cryptol/Parser/Lexer.hs src/Cryptol/Parser/Lexer.x Building library... creating dist/build /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --make -fbuilding-cabal-package -O -static -dynamic-too -dynosuf dyn_o -dynhisuf dyn_hi -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-DRELOCATABLE -optP-DSELF_CONTAINED -optP-include -optPdist/build/autogen/cabal_macros.h -this-package-key crypt_KUszZjsqfGxCXNmt3j1s7s -hide-all-packages -no-user-package-db -package-db dist/package.conf.inplace -package-id GraphSCC-1.0.4-9b513d6a8285a76b660dfe13957a5bb6 -package-id QuickCheck-2.8.1-b8cde035baf86e10569b5c8f1da0c941 -package-id array-0.5.1.0-d4206b835b96b5079d918fa1eab1a9a8 -package-id async-2.0.2-7323ce9f8a31649b3f9f961e623ae0eb -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id deepseq-1.4.1.1-8fb9688ae42216e388cee132aef3d148 -package-id directory-1.2.2.0-258f6e56fc0799f4b45f149644b75783 -package-id filepath-1.4.0.0-8fee9c13b5e42926cc01f6aa7c403c4b -package-id gitrev-1.1.0-d5ab218d6782c345f36e6ac1784f6672 -package-id heredoc-0.2.0.0-d384c1ba669a82a3ac72f10332460ec0 -package-id monadLib-3.7.3-825073f0ff408c3caa5349ec78b41be8 -package-id old-time-1.1.0.3-81c58f7b590af5471e2e611eb5a1183c -package-id presburger-1.3.1-dffb4b72b3b95c327932ec0eb0105698 -package-id pretty-1.1.2.0-2932d0905cc17ca1d9638eb9cca0a227 -package-id process-1.2.3.0-f0287ac288afc0705be775d1adda59ee -package-id random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1 -package-id sbv-4.4-36e43dcb7fdd0747abd952da25ef5dc7 -package-id smtLib-1.0.7-e4956d887d066bbb5ddbee2cff882f5c -package-id syb-0.5.1-09089498a055bd723b4a95c1351d3c8a -package-id template-haskell-2.10.0.0-90e8393d65f4ae44cb2026177a257f28 -package-id text-1.2.1.3-202edba6fea901191194d38d810da662 -package-id tf-random-0.5-aab92d0363fe76c3aa78e9ff6ce3355c -package-id transformers-0.4.2.0-21dcbf13c43f5d8cf6a1f54dee6c5bff -package-id utf8-string-1.0.1.1-b57dc726e3e886b2723bf233523c9c97 -XHaskell98 -XCPP Cryptol.Prims.Syntax Cryptol.Prims.Types Cryptol.Prims.Eval Cryptol.Prims.Doc Cryptol.Parser Cryptol.Parser.Lexer Cryptol.Parser.AST Cryptol.Parser.Position Cryptol.Parser.Names Cryptol.Parser.NoPat Cryptol.Parser.NoInclude Cryptol.Parser.Utils Cryptol.Parser.Unlit Cryptol.Utils.PP Cryptol.Utils.Panic Cryptol.Utils.Debug Cryptol.Version Cryptol.ModuleSystem Cryptol.ModuleSystem.Base Cryptol.ModuleSystem.Env Cryptol.ModuleSystem.Interface Cryptol.ModuleSystem.Monad Cryptol.ModuleSystem.NamingEnv Cryptol.ModuleSystem.Renamer Cryptol.TypeCheck Cryptol.TypeCheck.AST Cryptol.TypeCheck.Monad Cryptol.TypeCheck.Infer Cryptol.TypeCheck.InferTypes Cryptol.TypeCheck.Kind Cryptol.TypeCheck.Subst Cryptol.TypeCheck.Instantiate Cryptol.TypeCheck.Unify Cryptol.TypeCheck.Depends Cryptol.TypeCheck.PP Cryptol.TypeCheck.Solve Cryptol.TypeCheck.TypeMap Cryptol.TypeCheck.TypeOf Cryptol.TypeCheck.Defaulting Cryptol.TypeCheck.Solver.Eval Cryptol.TypeCheck.Solver.FinOrd Cryptol.TypeCheck.Solver.InfNat Cryptol.TypeCheck.Solver.Interval Cryptol.TypeCheck.Solver.Smtlib Cryptol.TypeCheck.Solver.Numeric Cryptol.TypeCheck.Solver.Class Cryptol.TypeCheck.Solver.Selector Cryptol.TypeCheck.Solver.CrySAT Cryptol.TypeCheck.Solver.Utils Cryptol.Transform.MonoValues Cryptol.Transform.Specialize Cryptol.Eval Cryptol.Eval.Arch Cryptol.Eval.Env Cryptol.Eval.Error Cryptol.Eval.Type Cryptol.Eval.Value Cryptol.Testing.Eval Cryptol.Testing.Exhaust Cryptol.Testing.Random Cryptol.Symbolic Cryptol.Symbolic.Prims Cryptol.Symbolic.Value Cryptol.REPL.Command Cryptol.REPL.Monad Cryptol.REPL.Trie Cryptol.Parser.LexerUtils Cryptol.Parser.ParserUtils Cryptol.Prelude Paths_cryptol GitRev -Wall -O2 [ 1 of 71] Compiling GitRev ( src/GitRev.hs, dist/build/GitRev.o ) [ 2 of 71] Compiling Cryptol.Version ( src/Cryptol/Version.hs, dist/build/Cryptol/Version.o ) [ 3 of 71] Compiling Paths_cryptol ( dist/build/autogen/Paths_cryptol.hs, dist/build/Paths_cryptol.o ) [ 4 of 71] Compiling Cryptol.Eval.Arch ( src/Cryptol/Eval/Arch.hs, dist/build/Cryptol/Eval/Arch.o ) [ 5 of 71] Compiling Cryptol.Utils.Panic ( src/Cryptol/Utils/Panic.hs, dist/build/Cryptol/Utils/Panic.o ) [ 6 of 71] Compiling Cryptol.TypeCheck.Solver.InfNat ( src/Cryptol/TypeCheck/Solver/InfNat.hs, dist/build/Cryptol/TypeCheck/Solver/InfNat.o ) [ 7 of 71] Compiling Cryptol.TypeCheck.Solver.Interval ( src/Cryptol/TypeCheck/Solver/Interval.hs, dist/build/Cryptol/TypeCheck/Solver/Interval.o ) [ 8 of 71] Compiling Cryptol.Parser.Unlit ( src/Cryptol/Parser/Unlit.hs, dist/build/Cryptol/Parser/Unlit.o ) [ 9 of 71] Compiling Cryptol.TypeCheck.Solver.CrySAT ( src/Cryptol/TypeCheck/Solver/CrySAT.hs, dist/build/Cryptol/TypeCheck/Solver/CrySAT.o ) [10 of 71] Compiling Cryptol.REPL.Trie ( src/Cryptol/REPL/Trie.hs, dist/build/Cryptol/REPL/Trie.o ) [11 of 71] Compiling Cryptol.Utils.PP ( src/Cryptol/Utils/PP.hs, dist/build/Cryptol/Utils/PP.o ) [12 of 71] Compiling Cryptol.Parser.Position ( src/Cryptol/Parser/Position.hs, dist/build/Cryptol/Parser/Position.o ) [13 of 71] Compiling Cryptol.Parser.LexerUtils ( src/Cryptol/Parser/LexerUtils.hs, dist/build/Cryptol/Parser/LexerUtils.o ) [14 of 71] Compiling Cryptol.Parser.Lexer ( dist/build/Cryptol/Parser/Lexer.hs, dist/build/Cryptol/Parser/Lexer.o ) [15 of 71] Compiling Cryptol.Utils.Debug ( src/Cryptol/Utils/Debug.hs, dist/build/Cryptol/Utils/Debug.o ) [16 of 71] Compiling Cryptol.TypeCheck.PP ( src/Cryptol/TypeCheck/PP.hs, dist/build/Cryptol/TypeCheck/PP.o ) [17 of 71] Compiling Cryptol.Prims.Syntax ( src/Cryptol/Prims/Syntax.hs, dist/build/Cryptol/Prims/Syntax.o ) [18 of 71] Compiling Cryptol.Parser.AST ( src/Cryptol/Parser/AST.hs, dist/build/Cryptol/Parser/AST.o ) [19 of 71] Compiling Cryptol.TypeCheck.AST ( src/Cryptol/TypeCheck/AST.hs, dist/build/Cryptol/TypeCheck/AST.o ) [20 of 71] Compiling Cryptol.Prims.Types ( src/Cryptol/Prims/Types.hs, dist/build/Cryptol/Prims/Types.o ) [21 of 71] Compiling Cryptol.Prims.Doc ( src/Cryptol/Prims/Doc.hs, dist/build/Cryptol/Prims/Doc.o ) [22 of 71] Compiling Cryptol.Eval.Error ( src/Cryptol/Eval/Error.hs, dist/build/Cryptol/Eval/Error.o ) [23 of 71] Compiling Cryptol.Eval.Value ( src/Cryptol/Eval/Value.hs, dist/build/Cryptol/Eval/Value.o ) [24 of 71] Compiling Cryptol.Testing.Eval ( src/Cryptol/Testing/Eval.hs, dist/build/Cryptol/Testing/Eval.o ) [25 of 71] Compiling Cryptol.Symbolic.Value ( src/Cryptol/Symbolic/Value.hs, dist/build/Cryptol/Symbolic/Value.o ) [26 of 71] Compiling Cryptol.Testing.Random ( src/Cryptol/Testing/Random.hs, dist/build/Cryptol/Testing/Random.o ) [27 of 71] Compiling Cryptol.Eval.Env ( src/Cryptol/Eval/Env.hs, dist/build/Cryptol/Eval/Env.o ) [28 of 71] Compiling Cryptol.Eval.Type ( src/Cryptol/Eval/Type.hs, dist/build/Cryptol/Eval/Type.o ) [29 of 71] Compiling Cryptol.Prims.Eval ( src/Cryptol/Prims/Eval.hs, dist/build/Cryptol/Prims/Eval.o ) [30 of 71] Compiling Cryptol.Eval ( src/Cryptol/Eval.hs, dist/build/Cryptol/Eval.o ) [31 of 71] Compiling Cryptol.TypeCheck.TypeMap ( src/Cryptol/TypeCheck/TypeMap.hs, dist/build/Cryptol/TypeCheck/TypeMap.o ) [32 of 71] Compiling Cryptol.TypeCheck.Subst ( src/Cryptol/TypeCheck/Subst.hs, dist/build/Cryptol/TypeCheck/Subst.o ) [33 of 71] Compiling Cryptol.TypeCheck.Unify ( src/Cryptol/TypeCheck/Unify.hs, dist/build/Cryptol/TypeCheck/Unify.o ) [34 of 71] Compiling Cryptol.TypeCheck.TypeOf ( src/Cryptol/TypeCheck/TypeOf.hs, dist/build/Cryptol/TypeCheck/TypeOf.o ) [35 of 71] Compiling Cryptol.TypeCheck.Solver.Utils ( src/Cryptol/TypeCheck/Solver/Utils.hs, dist/build/Cryptol/TypeCheck/Solver/Utils.o ) [36 of 71] Compiling Cryptol.Testing.Exhaust ( src/Cryptol/Testing/Exhaust.hs, dist/build/Cryptol/Testing/Exhaust.o ) [37 of 71] Compiling Cryptol.Parser.Names ( src/Cryptol/Parser/Names.hs, dist/build/Cryptol/Parser/Names.o ) [38 of 71] Compiling Cryptol.ModuleSystem.Interface ( src/Cryptol/ModuleSystem/Interface.hs, dist/build/Cryptol/ModuleSystem/Interface.o ) [39 of 71] Compiling Cryptol.Transform.MonoValues ( src/Cryptol/Transform/MonoValues.hs, dist/build/Cryptol/Transform/MonoValues.o ) [40 of 71] Compiling Cryptol.ModuleSystem.NamingEnv ( src/Cryptol/ModuleSystem/NamingEnv.hs, dist/build/Cryptol/ModuleSystem/NamingEnv.o ) [41 of 71] Compiling Cryptol.Parser.NoPat ( src/Cryptol/Parser/NoPat.hs, dist/build/Cryptol/Parser/NoPat.o ) [42 of 71] Compiling Cryptol.Parser.Utils ( src/Cryptol/Parser/Utils.hs, dist/build/Cryptol/Parser/Utils.o ) [43 of 71] Compiling Cryptol.Parser.ParserUtils ( src/Cryptol/Parser/ParserUtils.hs, dist/build/Cryptol/Parser/ParserUtils.o ) [44 of 71] Compiling Cryptol.Parser ( dist/build/Cryptol/Parser.hs, dist/build/Cryptol/Parser.o ) [45 of 71] Compiling Cryptol.Parser.NoInclude ( src/Cryptol/Parser/NoInclude.hs, dist/build/Cryptol/Parser/NoInclude.o ) [46 of 71] Compiling Cryptol.ModuleSystem.Renamer ( src/Cryptol/ModuleSystem/Renamer.hs, dist/build/Cryptol/ModuleSystem/Renamer.o ) [47 of 71] Compiling Cryptol.TypeCheck.InferTypes ( src/Cryptol/TypeCheck/InferTypes.hs, dist/build/Cryptol/TypeCheck/InferTypes.o ) [48 of 71] Compiling Cryptol.TypeCheck.Monad ( src/Cryptol/TypeCheck/Monad.hs, dist/build/Cryptol/TypeCheck/Monad.o ) [49 of 71] Compiling Cryptol.TypeCheck.Depends ( src/Cryptol/TypeCheck/Depends.hs, dist/build/Cryptol/TypeCheck/Depends.o ) [50 of 71] Compiling Cryptol.TypeCheck.Instantiate ( src/Cryptol/TypeCheck/Instantiate.hs, dist/build/Cryptol/TypeCheck/Instantiate.o ) [51 of 71] Compiling Cryptol.TypeCheck.Solver.FinOrd ( src/Cryptol/TypeCheck/Solver/FinOrd.hs, dist/build/Cryptol/TypeCheck/Solver/FinOrd.o ) [52 of 71] Compiling Cryptol.TypeCheck.Solver.Eval ( src/Cryptol/TypeCheck/Solver/Eval.hs, dist/build/Cryptol/TypeCheck/Solver/Eval.o ) [53 of 71] Compiling Cryptol.TypeCheck.Solver.Numeric ( src/Cryptol/TypeCheck/Solver/Numeric.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric.o ) [54 of 71] Compiling Cryptol.TypeCheck.Defaulting ( src/Cryptol/TypeCheck/Defaulting.hs, dist/build/Cryptol/TypeCheck/Defaulting.o ) [55 of 71] Compiling Cryptol.TypeCheck.Solver.Class ( src/Cryptol/TypeCheck/Solver/Class.hs, dist/build/Cryptol/TypeCheck/Solver/Class.o ) [56 of 71] Compiling Cryptol.TypeCheck.Solver.Selector ( src/Cryptol/TypeCheck/Solver/Selector.hs, dist/build/Cryptol/TypeCheck/Solver/Selector.o ) [57 of 71] Compiling Cryptol.TypeCheck.Solver.Smtlib ( src/Cryptol/TypeCheck/Solver/Smtlib.hs, dist/build/Cryptol/TypeCheck/Solver/Smtlib.o ) [58 of 71] Compiling Cryptol.TypeCheck.Solve ( src/Cryptol/TypeCheck/Solve.hs, dist/build/Cryptol/TypeCheck/Solve.o ) [59 of 71] Compiling Cryptol.TypeCheck.Kind ( src/Cryptol/TypeCheck/Kind.hs, dist/build/Cryptol/TypeCheck/Kind.o ) [60 of 71] Compiling Cryptol.TypeCheck.Infer ( src/Cryptol/TypeCheck/Infer.hs, dist/build/Cryptol/TypeCheck/Infer.o ) [61 of 71] Compiling Cryptol.TypeCheck ( src/Cryptol/TypeCheck.hs, dist/build/Cryptol/TypeCheck.o ) [62 of 71] Compiling Cryptol.ModuleSystem.Env ( src/Cryptol/ModuleSystem/Env.hs, dist/build/Cryptol/ModuleSystem/Env.o ) [63 of 71] Compiling Cryptol.ModuleSystem.Monad ( src/Cryptol/ModuleSystem/Monad.hs, dist/build/Cryptol/ModuleSystem/Monad.o ) [64 of 71] Compiling Cryptol.Prelude ( src/Cryptol/Prelude.hs, dist/build/Cryptol/Prelude.o ) [65 of 71] Compiling Cryptol.ModuleSystem.Base ( src/Cryptol/ModuleSystem/Base.hs, dist/build/Cryptol/ModuleSystem/Base.o ) [66 of 71] Compiling Cryptol.ModuleSystem ( src/Cryptol/ModuleSystem.hs, dist/build/Cryptol/ModuleSystem.o ) [67 of 71] Compiling Cryptol.Transform.Specialize ( src/Cryptol/Transform/Specialize.hs, dist/build/Cryptol/Transform/Specialize.o ) [68 of 71] Compiling Cryptol.Symbolic.Prims ( src/Cryptol/Symbolic/Prims.hs, dist/build/Cryptol/Symbolic/Prims.o ) [69 of 71] Compiling Cryptol.Symbolic ( src/Cryptol/Symbolic.hs, dist/build/Cryptol/Symbolic.o ) [70 of 71] Compiling Cryptol.REPL.Monad ( src/Cryptol/REPL/Monad.hs, dist/build/Cryptol/REPL/Monad.o ) [71 of 71] Compiling Cryptol.REPL.Command ( src/Cryptol/REPL/Command.hs, dist/build/Cryptol/REPL/Command.o ) /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --make -fbuilding-cabal-package -O -prof -osuf p_o -hisuf p_hi -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-DRELOCATABLE -optP-DSELF_CONTAINED -optP-include -optPdist/build/autogen/cabal_macros.h -this-package-key crypt_KUszZjsqfGxCXNmt3j1s7s -hide-all-packages -no-user-package-db -package-db dist/package.conf.inplace -package-id GraphSCC-1.0.4-9b513d6a8285a76b660dfe13957a5bb6 -package-id QuickCheck-2.8.1-b8cde035baf86e10569b5c8f1da0c941 -package-id array-0.5.1.0-d4206b835b96b5079d918fa1eab1a9a8 -package-id async-2.0.2-7323ce9f8a31649b3f9f961e623ae0eb -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id deepseq-1.4.1.1-8fb9688ae42216e388cee132aef3d148 -package-id directory-1.2.2.0-258f6e56fc0799f4b45f149644b75783 -package-id filepath-1.4.0.0-8fee9c13b5e42926cc01f6aa7c403c4b -package-id gitrev-1.1.0-d5ab218d6782c345f36e6ac1784f6672 -package-id heredoc-0.2.0.0-d384c1ba669a82a3ac72f10332460ec0 -package-id monadLib-3.7.3-825073f0ff408c3caa5349ec78b41be8 -package-id old-time-1.1.0.3-81c58f7b590af5471e2e611eb5a1183c -package-id presburger-1.3.1-dffb4b72b3b95c327932ec0eb0105698 -package-id pretty-1.1.2.0-2932d0905cc17ca1d9638eb9cca0a227 -package-id process-1.2.3.0-f0287ac288afc0705be775d1adda59ee -package-id random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1 -package-id sbv-4.4-36e43dcb7fdd0747abd952da25ef5dc7 -package-id smtLib-1.0.7-e4956d887d066bbb5ddbee2cff882f5c -package-id syb-0.5.1-09089498a055bd723b4a95c1351d3c8a -package-id template-haskell-2.10.0.0-90e8393d65f4ae44cb2026177a257f28 -package-id text-1.2.1.3-202edba6fea901191194d38d810da662 -package-id tf-random-0.5-aab92d0363fe76c3aa78e9ff6ce3355c -package-id transformers-0.4.2.0-21dcbf13c43f5d8cf6a1f54dee6c5bff -package-id utf8-string-1.0.1.1-b57dc726e3e886b2723bf233523c9c97 -XHaskell98 -XCPP Cryptol.Prims.Syntax Cryptol.Prims.Types Cryptol.Prims.Eval Cryptol.Prims.Doc Cryptol.Parser Cryptol.Parser.Lexer Cryptol.Parser.AST Cryptol.Parser.Position Cryptol.Parser.Names Cryptol.Parser.NoPat Cryptol.Parser.NoInclude Cryptol.Parser.Utils Cryptol.Parser.Unlit Cryptol.Utils.PP Cryptol.Utils.Panic Cryptol.Utils.Debug Cryptol.Version Cryptol.ModuleSystem Cryptol.ModuleSystem.Base Cryptol.ModuleSystem.Env Cryptol.ModuleSystem.Interface Cryptol.ModuleSystem.Monad Cryptol.ModuleSystem.NamingEnv Cryptol.ModuleSystem.Renamer Cryptol.TypeCheck Cryptol.TypeCheck.AST Cryptol.TypeCheck.Monad Cryptol.TypeCheck.Infer Cryptol.TypeCheck.InferTypes Cryptol.TypeCheck.Kind Cryptol.TypeCheck.Subst Cryptol.TypeCheck.Instantiate Cryptol.TypeCheck.Unify Cryptol.TypeCheck.Depends Cryptol.TypeCheck.PP Cryptol.TypeCheck.Solve Cryptol.TypeCheck.TypeMap Cryptol.TypeCheck.TypeOf Cryptol.TypeCheck.Defaulting Cryptol.TypeCheck.Solver.Eval Cryptol.TypeCheck.Solver.FinOrd Cryptol.TypeCheck.Solver.InfNat Cryptol.TypeCheck.Solver.Interval Cryptol.TypeCheck.Solver.Smtlib Cryptol.TypeCheck.Solver.Numeric Cryptol.TypeCheck.Solver.Class Cryptol.TypeCheck.Solver.Selector Cryptol.TypeCheck.Solver.CrySAT Cryptol.TypeCheck.Solver.Utils Cryptol.Transform.MonoValues Cryptol.Transform.Specialize Cryptol.Eval Cryptol.Eval.Arch Cryptol.Eval.Env Cryptol.Eval.Error Cryptol.Eval.Type Cryptol.Eval.Value Cryptol.Testing.Eval Cryptol.Testing.Exhaust Cryptol.Testing.Random Cryptol.Symbolic Cryptol.Symbolic.Prims Cryptol.Symbolic.Value Cryptol.REPL.Command Cryptol.REPL.Monad Cryptol.REPL.Trie Cryptol.Parser.LexerUtils Cryptol.Parser.ParserUtils Cryptol.Prelude Paths_cryptol GitRev -Wall -O2 -fprof-auto -prof [ 1 of 71] Compiling GitRev ( src/GitRev.hs, dist/build/GitRev.p_o ) [ 2 of 71] Compiling Cryptol.Version ( src/Cryptol/Version.hs, dist/build/Cryptol/Version.p_o ) [ 3 of 71] Compiling Paths_cryptol ( dist/build/autogen/Paths_cryptol.hs, dist/build/Paths_cryptol.p_o ) [ 4 of 71] Compiling Cryptol.Eval.Arch ( src/Cryptol/Eval/Arch.hs, dist/build/Cryptol/Eval/Arch.p_o ) [ 5 of 71] Compiling Cryptol.Utils.Panic ( src/Cryptol/Utils/Panic.hs, dist/build/Cryptol/Utils/Panic.p_o ) [ 6 of 71] Compiling Cryptol.TypeCheck.Solver.InfNat ( src/Cryptol/TypeCheck/Solver/InfNat.hs, dist/build/Cryptol/TypeCheck/Solver/InfNat.p_o ) [ 7 of 71] Compiling Cryptol.TypeCheck.Solver.Interval ( src/Cryptol/TypeCheck/Solver/Interval.hs, dist/build/Cryptol/TypeCheck/Solver/Interval.p_o ) [ 8 of 71] Compiling Cryptol.Parser.Unlit ( src/Cryptol/Parser/Unlit.hs, dist/build/Cryptol/Parser/Unlit.p_o ) [ 9 of 71] Compiling Cryptol.TypeCheck.Solver.CrySAT ( src/Cryptol/TypeCheck/Solver/CrySAT.hs, dist/build/Cryptol/TypeCheck/Solver/CrySAT.p_o ) [10 of 71] Compiling Cryptol.REPL.Trie ( src/Cryptol/REPL/Trie.hs, dist/build/Cryptol/REPL/Trie.p_o ) [11 of 71] Compiling Cryptol.Utils.PP ( src/Cryptol/Utils/PP.hs, dist/build/Cryptol/Utils/PP.p_o ) [12 of 71] Compiling Cryptol.Parser.Position ( src/Cryptol/Parser/Position.hs, dist/build/Cryptol/Parser/Position.p_o ) [13 of 71] Compiling Cryptol.Parser.LexerUtils ( src/Cryptol/Parser/LexerUtils.hs, dist/build/Cryptol/Parser/LexerUtils.p_o ) [14 of 71] Compiling Cryptol.Parser.Lexer ( dist/build/Cryptol/Parser/Lexer.hs, dist/build/Cryptol/Parser/Lexer.p_o ) [15 of 71] Compiling Cryptol.Utils.Debug ( src/Cryptol/Utils/Debug.hs, dist/build/Cryptol/Utils/Debug.p_o ) [16 of 71] Compiling Cryptol.TypeCheck.PP ( src/Cryptol/TypeCheck/PP.hs, dist/build/Cryptol/TypeCheck/PP.p_o ) [17 of 71] Compiling Cryptol.Prims.Syntax ( src/Cryptol/Prims/Syntax.hs, dist/build/Cryptol/Prims/Syntax.p_o ) [18 of 71] Compiling Cryptol.Parser.AST ( src/Cryptol/Parser/AST.hs, dist/build/Cryptol/Parser/AST.p_o ) [19 of 71] Compiling Cryptol.TypeCheck.AST ( src/Cryptol/TypeCheck/AST.hs, dist/build/Cryptol/TypeCheck/AST.p_o ) [20 of 71] Compiling Cryptol.Prims.Types ( src/Cryptol/Prims/Types.hs, dist/build/Cryptol/Prims/Types.p_o ) [21 of 71] Compiling Cryptol.Prims.Doc ( src/Cryptol/Prims/Doc.hs, dist/build/Cryptol/Prims/Doc.p_o ) [22 of 71] Compiling Cryptol.Eval.Error ( src/Cryptol/Eval/Error.hs, dist/build/Cryptol/Eval/Error.p_o ) [23 of 71] Compiling Cryptol.Eval.Value ( src/Cryptol/Eval/Value.hs, dist/build/Cryptol/Eval/Value.p_o ) [24 of 71] Compiling Cryptol.Testing.Eval ( src/Cryptol/Testing/Eval.hs, dist/build/Cryptol/Testing/Eval.p_o ) [25 of 71] Compiling Cryptol.Symbolic.Value ( src/Cryptol/Symbolic/Value.hs, dist/build/Cryptol/Symbolic/Value.p_o ) [26 of 71] Compiling Cryptol.Testing.Random ( src/Cryptol/Testing/Random.hs, dist/build/Cryptol/Testing/Random.p_o ) [27 of 71] Compiling Cryptol.Eval.Env ( src/Cryptol/Eval/Env.hs, dist/build/Cryptol/Eval/Env.p_o ) [28 of 71] Compiling Cryptol.Eval.Type ( src/Cryptol/Eval/Type.hs, dist/build/Cryptol/Eval/Type.p_o ) [29 of 71] Compiling Cryptol.Prims.Eval ( src/Cryptol/Prims/Eval.hs, dist/build/Cryptol/Prims/Eval.p_o ) [30 of 71] Compiling Cryptol.Eval ( src/Cryptol/Eval.hs, dist/build/Cryptol/Eval.p_o ) [31 of 71] Compiling Cryptol.TypeCheck.TypeMap ( src/Cryptol/TypeCheck/TypeMap.hs, dist/build/Cryptol/TypeCheck/TypeMap.p_o ) [32 of 71] Compiling Cryptol.TypeCheck.Subst ( src/Cryptol/TypeCheck/Subst.hs, dist/build/Cryptol/TypeCheck/Subst.p_o ) [33 of 71] Compiling Cryptol.TypeCheck.Unify ( src/Cryptol/TypeCheck/Unify.hs, dist/build/Cryptol/TypeCheck/Unify.p_o ) [34 of 71] Compiling Cryptol.TypeCheck.TypeOf ( src/Cryptol/TypeCheck/TypeOf.hs, dist/build/Cryptol/TypeCheck/TypeOf.p_o ) [35 of 71] Compiling Cryptol.TypeCheck.Solver.Utils ( src/Cryptol/TypeCheck/Solver/Utils.hs, dist/build/Cryptol/TypeCheck/Solver/Utils.p_o ) [36 of 71] Compiling Cryptol.Testing.Exhaust ( src/Cryptol/Testing/Exhaust.hs, dist/build/Cryptol/Testing/Exhaust.p_o ) [37 of 71] Compiling Cryptol.Parser.Names ( src/Cryptol/Parser/Names.hs, dist/build/Cryptol/Parser/Names.p_o ) [38 of 71] Compiling Cryptol.ModuleSystem.Interface ( src/Cryptol/ModuleSystem/Interface.hs, dist/build/Cryptol/ModuleSystem/Interface.p_o ) [39 of 71] Compiling Cryptol.Transform.MonoValues ( src/Cryptol/Transform/MonoValues.hs, dist/build/Cryptol/Transform/MonoValues.p_o ) [40 of 71] Compiling Cryptol.ModuleSystem.NamingEnv ( src/Cryptol/ModuleSystem/NamingEnv.hs, dist/build/Cryptol/ModuleSystem/NamingEnv.p_o ) [41 of 71] Compiling Cryptol.Parser.NoPat ( src/Cryptol/Parser/NoPat.hs, dist/build/Cryptol/Parser/NoPat.p_o ) [42 of 71] Compiling Cryptol.Parser.Utils ( src/Cryptol/Parser/Utils.hs, dist/build/Cryptol/Parser/Utils.p_o ) [43 of 71] Compiling Cryptol.Parser.ParserUtils ( src/Cryptol/Parser/ParserUtils.hs, dist/build/Cryptol/Parser/ParserUtils.p_o ) [44 of 71] Compiling Cryptol.Parser ( dist/build/Cryptol/Parser.hs, dist/build/Cryptol/Parser.p_o ) [45 of 71] Compiling Cryptol.Parser.NoInclude ( src/Cryptol/Parser/NoInclude.hs, dist/build/Cryptol/Parser/NoInclude.p_o ) [46 of 71] Compiling Cryptol.ModuleSystem.Renamer ( src/Cryptol/ModuleSystem/Renamer.hs, dist/build/Cryptol/ModuleSystem/Renamer.p_o ) [47 of 71] Compiling Cryptol.TypeCheck.InferTypes ( src/Cryptol/TypeCheck/InferTypes.hs, dist/build/Cryptol/TypeCheck/InferTypes.p_o ) [48 of 71] Compiling Cryptol.TypeCheck.Monad ( src/Cryptol/TypeCheck/Monad.hs, dist/build/Cryptol/TypeCheck/Monad.p_o ) [49 of 71] Compiling Cryptol.TypeCheck.Depends ( src/Cryptol/TypeCheck/Depends.hs, dist/build/Cryptol/TypeCheck/Depends.p_o ) [50 of 71] Compiling Cryptol.TypeCheck.Instantiate ( src/Cryptol/TypeCheck/Instantiate.hs, dist/build/Cryptol/TypeCheck/Instantiate.p_o ) [51 of 71] Compiling Cryptol.TypeCheck.Solver.FinOrd ( src/Cryptol/TypeCheck/Solver/FinOrd.hs, dist/build/Cryptol/TypeCheck/Solver/FinOrd.p_o ) [52 of 71] Compiling Cryptol.TypeCheck.Solver.Eval ( src/Cryptol/TypeCheck/Solver/Eval.hs, dist/build/Cryptol/TypeCheck/Solver/Eval.p_o ) [53 of 71] Compiling Cryptol.TypeCheck.Solver.Numeric ( src/Cryptol/TypeCheck/Solver/Numeric.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric.p_o ) [54 of 71] Compiling Cryptol.TypeCheck.Defaulting ( src/Cryptol/TypeCheck/Defaulting.hs, dist/build/Cryptol/TypeCheck/Defaulting.p_o ) [55 of 71] Compiling Cryptol.TypeCheck.Solver.Class ( src/Cryptol/TypeCheck/Solver/Class.hs, dist/build/Cryptol/TypeCheck/Solver/Class.p_o ) [56 of 71] Compiling Cryptol.TypeCheck.Solver.Selector ( src/Cryptol/TypeCheck/Solver/Selector.hs, dist/build/Cryptol/TypeCheck/Solver/Selector.p_o ) [57 of 71] Compiling Cryptol.TypeCheck.Solver.Smtlib ( src/Cryptol/TypeCheck/Solver/Smtlib.hs, dist/build/Cryptol/TypeCheck/Solver/Smtlib.p_o ) [58 of 71] Compiling Cryptol.TypeCheck.Solve ( src/Cryptol/TypeCheck/Solve.hs, dist/build/Cryptol/TypeCheck/Solve.p_o ) [59 of 71] Compiling Cryptol.TypeCheck.Kind ( src/Cryptol/TypeCheck/Kind.hs, dist/build/Cryptol/TypeCheck/Kind.p_o ) [60 of 71] Compiling Cryptol.TypeCheck.Infer ( src/Cryptol/TypeCheck/Infer.hs, dist/build/Cryptol/TypeCheck/Infer.p_o ) [61 of 71] Compiling Cryptol.TypeCheck ( src/Cryptol/TypeCheck.hs, dist/build/Cryptol/TypeCheck.p_o ) [62 of 71] Compiling Cryptol.ModuleSystem.Env ( src/Cryptol/ModuleSystem/Env.hs, dist/build/Cryptol/ModuleSystem/Env.p_o ) [63 of 71] Compiling Cryptol.ModuleSystem.Monad ( src/Cryptol/ModuleSystem/Monad.hs, dist/build/Cryptol/ModuleSystem/Monad.p_o ) [64 of 71] Compiling Cryptol.Prelude ( src/Cryptol/Prelude.hs, dist/build/Cryptol/Prelude.p_o ) [65 of 71] Compiling Cryptol.ModuleSystem.Base ( src/Cryptol/ModuleSystem/Base.hs, dist/build/Cryptol/ModuleSystem/Base.p_o ) [66 of 71] Compiling Cryptol.ModuleSystem ( src/Cryptol/ModuleSystem.hs, dist/build/Cryptol/ModuleSystem.p_o ) [67 of 71] Compiling Cryptol.Transform.Specialize ( src/Cryptol/Transform/Specialize.hs, dist/build/Cryptol/Transform/Specialize.p_o ) [68 of 71] Compiling Cryptol.Symbolic.Prims ( src/Cryptol/Symbolic/Prims.hs, dist/build/Cryptol/Symbolic/Prims.p_o ) [69 of 71] Compiling Cryptol.Symbolic ( src/Cryptol/Symbolic.hs, dist/build/Cryptol/Symbolic.p_o ) [70 of 71] Compiling Cryptol.REPL.Monad ( src/Cryptol/REPL/Monad.hs, dist/build/Cryptol/REPL/Monad.p_o ) [71 of 71] Compiling Cryptol.REPL.Command ( src/Cryptol/REPL/Command.hs, dist/build/Cryptol/REPL/Command.p_o ) Linking... [(InstalledPackageId "GraphSCC-1.0.4-9b513d6a8285a76b660dfe13957a5bb6",PackageIdentifier {pkgName = PackageName {unPackageName = "GraphSCC"}, pkgVersion = Version {versionBranch = [1,0,4], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "QuickCheck-2.8.1-b8cde035baf86e10569b5c8f1da0c941",PackageIdentifier {pkgName = PackageName {unPackageName = "QuickCheck"}, pkgVersion = Version {versionBranch = [2,8,1], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "array-0.5.1.0-d4206b835b96b5079d918fa1eab1a9a8",PackageIdentifier {pkgName = PackageName {unPackageName = "array"}, pkgVersion = Version {versionBranch = [0,5,1,0], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "async-2.0.2-7323ce9f8a31649b3f9f961e623ae0eb",PackageIdentifier {pkgName = PackageName {unPackageName = "async"}, pkgVersion = Version {versionBranch = [2,0,2], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "base-4.8.1.0-4f7206fd964c629946bb89db72c80011",PackageIdentifier {pkgName = PackageName {unPackageName = "base"}, pkgVersion = Version {versionBranch = [4,8,1,0], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "containers-0.5.6.2-2de75421d746ab474b330e43191bb31b",PackageIdentifier {pkgName = PackageName {unPackageName = "containers"}, pkgVersion = Version {versionBranch = [0,5,6,2], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "deepseq-1.4.1.1-8fb9688ae42216e388cee132aef3d148",PackageIdentifier {pkgName = PackageName {unPackageName = "deepseq"}, pkgVersion = Version {versionBranch = [1,4,1,1], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "directory-1.2.2.0-258f6e56fc0799f4b45f149644b75783",PackageIdentifier {pkgName = PackageName {unPackageName = "directory"}, pkgVersion = Version {versionBranch = [1,2,2,0], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "filepath-1.4.0.0-8fee9c13b5e42926cc01f6aa7c403c4b",PackageIdentifier {pkgName = PackageName {unPackageName = "filepath"}, pkgVersion = Version {versionBranch = [1,4,0,0], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "gitrev-1.1.0-d5ab218d6782c345f36e6ac1784f6672",PackageIdentifier {pkgName = PackageName {unPackageName = "gitrev"}, pkgVersion = Version {versionBranch = [1,1,0], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "heredoc-0.2.0.0-d384c1ba669a82a3ac72f10332460ec0",PackageIdentifier {pkgName = PackageName {unPackageName = "heredoc"}, pkgVersion = Version {versionBranch = [0,2,0,0], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "monadLib-3.7.3-825073f0ff408c3caa5349ec78b41be8",PackageIdentifier {pkgName = PackageName {unPackageName = "monadLib"}, pkgVersion = Version {versionBranch = [3,7,3], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "old-time-1.1.0.3-81c58f7b590af5471e2e611eb5a1183c",PackageIdentifier {pkgName = PackageName {unPackageName = "old-time"}, pkgVersion = Version {versionBranch = [1,1,0,3], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "presburger-1.3.1-dffb4b72b3b95c327932ec0eb0105698",PackageIdentifier {pkgName = PackageName {unPackageName = "presburger"}, pkgVersion = Version {versionBranch = [1,3,1], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "pretty-1.1.2.0-2932d0905cc17ca1d9638eb9cca0a227",PackageIdentifier {pkgName = PackageName {unPackageName = "pretty"}, pkgVersion = Version {versionBranch = [1,1,2,0], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "process-1.2.3.0-f0287ac288afc0705be775d1adda59ee",PackageIdentifier {pkgName = PackageName {unPackageName = "process"}, pkgVersion = Version {versionBranch = [1,2,3,0], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1",PackageIdentifier {pkgName = PackageName {unPackageName = "random"}, pkgVersion = Version {versionBranch = [1,1], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "sbv-4.4-36e43dcb7fdd0747abd952da25ef5dc7",PackageIdentifier {pkgName = PackageName {unPackageName = "sbv"}, pkgVersion = Version {versionBranch = [4,4], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "smtLib-1.0.7-e4956d887d066bbb5ddbee2cff882f5c",PackageIdentifier {pkgName = PackageName {unPackageName = "smtLib"}, pkgVersion = Version {versionBranch = [1,0,7], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "syb-0.5.1-09089498a055bd723b4a95c1351d3c8a",PackageIdentifier {pkgName = PackageName {unPackageName = "syb"}, pkgVersion = Version {versionBranch = [0,5,1], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "template-haskell-2.10.0.0-90e8393d65f4ae44cb2026177a257f28",PackageIdentifier {pkgName = PackageName {unPackageName = "template-haskell"}, pkgVersion = Version {versionBranch = [2,10,0,0], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "text-1.2.1.3-202edba6fea901191194d38d810da662",PackageIdentifier {pkgName = PackageName {unPackageName = "text"}, pkgVersion = Version {versionBranch = [1,2,1,3], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "tf-random-0.5-aab92d0363fe76c3aa78e9ff6ce3355c",PackageIdentifier {pkgName = PackageName {unPackageName = "tf-random"}, pkgVersion = Version {versionBranch = [0,5], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "transformers-0.4.2.0-21dcbf13c43f5d8cf6a1f54dee6c5bff",PackageIdentifier {pkgName = PackageName {unPackageName = "transformers"}, pkgVersion = Version {versionBranch = [0,4,2,0], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "utf8-string-1.0.1.1-b57dc726e3e886b2723bf233523c9c97",PackageIdentifier {pkgName = PackageName {unPackageName = "utf8-string"}, pkgVersion = Version {versionBranch = [1,0,1,1], versionTags = []}},ModuleRenaming True [])] /usr/bin/ar -r dist/build/objs-24321/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s.a dist/build/Cryptol/Prims/Syntax.o dist/build/Cryptol/Prims/Types.o dist/build/Cryptol/Prims/Eval.o dist/build/Cryptol/Prims/Doc.o dist/build/Cryptol/Parser.o dist/build/Cryptol/Parser/Lexer.o dist/build/Cryptol/Parser/AST.o dist/build/Cryptol/Parser/Position.o dist/build/Cryptol/Parser/Names.o dist/build/Cryptol/Parser/NoPat.o dist/build/Cryptol/Parser/NoInclude.o dist/build/Cryptol/Parser/Utils.o dist/build/Cryptol/Parser/Unlit.o dist/build/Cryptol/Utils/PP.o dist/build/Cryptol/Utils/Panic.o dist/build/Cryptol/Utils/Debug.o dist/build/Cryptol/Version.o dist/build/Cryptol/ModuleSystem.o dist/build/Cryptol/ModuleSystem/Base.o dist/build/Cryptol/ModuleSystem/Env.o dist/build/Cryptol/ModuleSystem/Interface.o dist/build/Cryptol/ModuleSystem/Monad.o dist/build/Cryptol/ModuleSystem/NamingEnv.o dist/build/Cryptol/ModuleSystem/Renamer.o dist/build/Cryptol/TypeCheck.o dist/build/Cryptol/TypeCheck/AST.o dist/build/Cryptol/TypeCheck/Monad.o dist/build/Cryptol/TypeCheck/Infer.o dist/build/Cryptol/TypeCheck/InferTypes.o dist/build/Cryptol/TypeCheck/Kind.o dist/build/Cryptol/TypeCheck/Subst.o dist/build/Cryptol/TypeCheck/Instantiate.o dist/build/Cryptol/TypeCheck/Unify.o dist/build/Cryptol/TypeCheck/Depends.o dist/build/Cryptol/TypeCheck/PP.o dist/build/Cryptol/TypeCheck/Solve.o dist/build/Cryptol/TypeCheck/TypeMap.o dist/build/Cryptol/TypeCheck/TypeOf.o dist/build/Cryptol/TypeCheck/Defaulting.o dist/build/Cryptol/TypeCheck/Solver/Eval.o dist/build/Cryptol/TypeCheck/Solver/FinOrd.o dist/build/Cryptol/TypeCheck/Solver/InfNat.o dist/build/Cryptol/TypeCheck/Solver/Interval.o dist/build/Cryptol/TypeCheck/Solver/Smtlib.o dist/build/Cryptol/TypeCheck/Solver/Numeric.o dist/build/Cryptol/TypeCheck/Solver/Class.o dist/build/Cryptol/TypeCheck/Solver/Selector.o dist/build/Cryptol/TypeCheck/Solver/CrySAT.o dist/build/Cryptol/TypeCheck/Solver/Utils.o dist/build/Cryptol/Transform/MonoValues.o dist/build/Cryptol/Transform/Specialize.o dist/build/Cryptol/Eval.o dist/build/Cryptol/Eval/Arch.o dist/build/Cryptol/Eval/Env.o dist/build/Cryptol/Eval/Error.o dist/build/Cryptol/Eval/Type.o dist/build/Cryptol/Eval/Value.o dist/build/Cryptol/Testing/Eval.o dist/build/Cryptol/Testing/Exhaust.o dist/build/Cryptol/Testing/Random.o dist/build/Cryptol/Symbolic.o dist/build/Cryptol/Symbolic/Prims.o dist/build/Cryptol/Symbolic/Value.o dist/build/Cryptol/REPL/Command.o dist/build/Cryptol/REPL/Monad.o dist/build/Cryptol/REPL/Trie.o dist/build/Cryptol/Parser/LexerUtils.o dist/build/Cryptol/Parser/ParserUtils.o dist/build/Cryptol/Prelude.o dist/build/Paths_cryptol.o dist/build/GitRev.o /usr/bin/ar: creating dist/build/objs-24321/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s.a /usr/bin/strip dist/build/objs-24321/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s.a --strip-unneeded /usr/bin/ar -r dist/build/objs-24321/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s_p.a dist/build/Cryptol/Prims/Syntax.p_o dist/build/Cryptol/Prims/Types.p_o dist/build/Cryptol/Prims/Eval.p_o dist/build/Cryptol/Prims/Doc.p_o dist/build/Cryptol/Parser.p_o dist/build/Cryptol/Parser/Lexer.p_o dist/build/Cryptol/Parser/AST.p_o dist/build/Cryptol/Parser/Position.p_o dist/build/Cryptol/Parser/Names.p_o dist/build/Cryptol/Parser/NoPat.p_o dist/build/Cryptol/Parser/NoInclude.p_o dist/build/Cryptol/Parser/Utils.p_o dist/build/Cryptol/Parser/Unlit.p_o dist/build/Cryptol/Utils/PP.p_o dist/build/Cryptol/Utils/Panic.p_o dist/build/Cryptol/Utils/Debug.p_o dist/build/Cryptol/Version.p_o dist/build/Cryptol/ModuleSystem.p_o dist/build/Cryptol/ModuleSystem/Base.p_o dist/build/Cryptol/ModuleSystem/Env.p_o dist/build/Cryptol/ModuleSystem/Interface.p_o dist/build/Cryptol/ModuleSystem/Monad.p_o dist/build/Cryptol/ModuleSystem/NamingEnv.p_o dist/build/Cryptol/ModuleSystem/Renamer.p_o dist/build/Cryptol/TypeCheck.p_o dist/build/Cryptol/TypeCheck/AST.p_o dist/build/Cryptol/TypeCheck/Monad.p_o dist/build/Cryptol/TypeCheck/Infer.p_o dist/build/Cryptol/TypeCheck/InferTypes.p_o dist/build/Cryptol/TypeCheck/Kind.p_o dist/build/Cryptol/TypeCheck/Subst.p_o dist/build/Cryptol/TypeCheck/Instantiate.p_o dist/build/Cryptol/TypeCheck/Unify.p_o dist/build/Cryptol/TypeCheck/Depends.p_o dist/build/Cryptol/TypeCheck/PP.p_o dist/build/Cryptol/TypeCheck/Solve.p_o dist/build/Cryptol/TypeCheck/TypeMap.p_o dist/build/Cryptol/TypeCheck/TypeOf.p_o dist/build/Cryptol/TypeCheck/Defaulting.p_o dist/build/Cryptol/TypeCheck/Solver/Eval.p_o dist/build/Cryptol/TypeCheck/Solver/FinOrd.p_o dist/build/Cryptol/TypeCheck/Solver/InfNat.p_o dist/build/Cryptol/TypeCheck/Solver/Interval.p_o dist/build/Cryptol/TypeCheck/Solver/Smtlib.p_o dist/build/Cryptol/TypeCheck/Solver/Numeric.p_o dist/build/Cryptol/TypeCheck/Solver/Class.p_o dist/build/Cryptol/TypeCheck/Solver/Selector.p_o dist/build/Cryptol/TypeCheck/Solver/CrySAT.p_o dist/build/Cryptol/TypeCheck/Solver/Utils.p_o dist/build/Cryptol/Transform/MonoValues.p_o dist/build/Cryptol/Transform/Specialize.p_o dist/build/Cryptol/Eval.p_o dist/build/Cryptol/Eval/Arch.p_o dist/build/Cryptol/Eval/Env.p_o dist/build/Cryptol/Eval/Error.p_o dist/build/Cryptol/Eval/Type.p_o dist/build/Cryptol/Eval/Value.p_o dist/build/Cryptol/Testing/Eval.p_o dist/build/Cryptol/Testing/Exhaust.p_o dist/build/Cryptol/Testing/Random.p_o dist/build/Cryptol/Symbolic.p_o dist/build/Cryptol/Symbolic/Prims.p_o dist/build/Cryptol/Symbolic/Value.p_o dist/build/Cryptol/REPL/Command.p_o dist/build/Cryptol/REPL/Monad.p_o dist/build/Cryptol/REPL/Trie.p_o dist/build/Cryptol/Parser/LexerUtils.p_o dist/build/Cryptol/Parser/ParserUtils.p_o dist/build/Cryptol/Prelude.p_o dist/build/Paths_cryptol.p_o dist/build/GitRev.p_o /usr/bin/ar: creating dist/build/objs-24321/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s_p.a /usr/bin/strip dist/build/objs-24321/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s_p.a --strip-unneeded /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc -shared -dynamic -L/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 '-dynload deploy' -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/GraphSCC-1.0.4-1NhADU18BkFIdVj9iGdYD8 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/QuickCheck-2.8.1-1fWvpr9QgXz0phpE20gfU8 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ansi-terminal-0.6.2.3-KW0LUY2zB7JCYzE4ZYrwBg -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/array_E0sTtauuKsGDLZoT7lTbgZ -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/async-2.0.2-J3wPtBMkDlC1zlPIsbgEk9 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/base_GDytRqRVSUX7zckgKqJjgw -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/binar_IvYoLp9H6Xy3zEH13MmZwd -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/rts -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/bytes_6elQVSg5cWdFrvRnfxTUrH -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/conta_LKCPrTJwOTOLk4OU37YmeN -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/crackNum-1.3-1eCcDcPz7qCApKTjiqogtz -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/data-binary-ieee754-0.4.4-KzyGDnetmi56TA3jcsc9cN -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/deeps_LbCWUlehDDeLxurARKDH5o -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/direc_KowvXytSqazBcvN7MGpFtg -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/filep_KsGE6pHE5eZHSN90ZVax6A -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/ghcpr_8TmvWUcS1U1IKHT0levwg3 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/gitrev-1.1.0-DbWnIqXKCbR1oS3lXy7p2G -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/haske_1dVCRhdIH7hAQWJrKwByYv -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/heredoc-0.2.0.0-9GPjDqIABKIAfoa8byjFM6 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ieee754-0.7.6-83kzroviKXw4npyWO9tKff -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/integ_2aU3IZNMF9a7mQ0OzsZ0dS -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/monadLib-3.7.3-JtyiEuBx8E8ExLbUWdxc6q -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/mtl_KMpng31YRYc5JfMWFZ3FCU -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/oldlo_D6X1KPq5Sui5XjrHMwvFwK -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/oldti_FBWJJDS5FKr7UKFScBcUW2 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/presburger-1.3.1-0yq1UYUm0bOLuMd0SWbBpP -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/prett_7UQTOB05U7lIYPkFOVraeR -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/primitive-0.6-3d4UsQu7pJCEtlsxN3gLjk -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/proce_FLTz0SLwyG6LJUpZ52HjkU -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/rando_1z8Ujelqc6aKgvPnbRUKkP -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/sbv-4.4-JmcuVAFgTTS4DnDjQs9SkU -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/smtLib-1.0.7-9ySxzNMcZkeKacRn9efYYs -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/stm_C1kFMnPqFjvDhFjgMZGUpr -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/syb-0.5.1-8qmIMcBFhWM7BKRUTFb5M4 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/templ_1ejK907jvoTHoZ6iZtHeyN -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/termi_KvtqTNXWuWjKicEYaZ7qsx -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/text_1l1AN4I48k37RaQ6fm6CEh -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/tf-random-0.5-926BwEbiHzi7pBkp4dTxOe -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/time_AXTdBF9VRQoBOqJT6qtmVH -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/trans_3eG64VdP2vzGjP6wJiCp5X -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/unix_A3WgcI5QiHK4PDo4jSYdwQ -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/utf8-string-1.0.1.1-HWC8Qen5AZrArJxFQJuE72 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -this-package-key crypt_KUszZjsqfGxCXNmt3j1s7s -no-auto-link-packages -no-user-package-db -package-db dist/package.conf.inplace -package-id GraphSCC-1.0.4-9b513d6a8285a76b660dfe13957a5bb6 -package-id QuickCheck-2.8.1-b8cde035baf86e10569b5c8f1da0c941 -package-id array-0.5.1.0-d4206b835b96b5079d918fa1eab1a9a8 -package-id async-2.0.2-7323ce9f8a31649b3f9f961e623ae0eb -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id deepseq-1.4.1.1-8fb9688ae42216e388cee132aef3d148 -package-id directory-1.2.2.0-258f6e56fc0799f4b45f149644b75783 -package-id filepath-1.4.0.0-8fee9c13b5e42926cc01f6aa7c403c4b -package-id gitrev-1.1.0-d5ab218d6782c345f36e6ac1784f6672 -package-id heredoc-0.2.0.0-d384c1ba669a82a3ac72f10332460ec0 -package-id monadLib-3.7.3-825073f0ff408c3caa5349ec78b41be8 -package-id old-time-1.1.0.3-81c58f7b590af5471e2e611eb5a1183c -package-id presburger-1.3.1-dffb4b72b3b95c327932ec0eb0105698 -package-id pretty-1.1.2.0-2932d0905cc17ca1d9638eb9cca0a227 -package-id process-1.2.3.0-f0287ac288afc0705be775d1adda59ee -package-id random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1 -package-id sbv-4.4-36e43dcb7fdd0747abd952da25ef5dc7 -package-id smtLib-1.0.7-e4956d887d066bbb5ddbee2cff882f5c -package-id syb-0.5.1-09089498a055bd723b4a95c1351d3c8a -package-id template-haskell-2.10.0.0-90e8393d65f4ae44cb2026177a257f28 -package-id text-1.2.1.3-202edba6fea901191194d38d810da662 -package-id tf-random-0.5-aab92d0363fe76c3aa78e9ff6ce3355c -package-id transformers-0.4.2.0-21dcbf13c43f5d8cf6a1f54dee6c5bff -package-id utf8-string-1.0.1.1-b57dc726e3e886b2723bf233523c9c97 dist/build/Cryptol/Prims/Syntax.dyn_o dist/build/Cryptol/Prims/Types.dyn_o dist/build/Cryptol/Prims/Eval.dyn_o dist/build/Cryptol/Prims/Doc.dyn_o dist/build/Cryptol/Parser.dyn_o dist/build/Cryptol/Parser/Lexer.dyn_o dist/build/Cryptol/Parser/AST.dyn_o dist/build/Cryptol/Parser/Position.dyn_o dist/build/Cryptol/Parser/Names.dyn_o dist/build/Cryptol/Parser/NoPat.dyn_o dist/build/Cryptol/Parser/NoInclude.dyn_o dist/build/Cryptol/Parser/Utils.dyn_o dist/build/Cryptol/Parser/Unlit.dyn_o dist/build/Cryptol/Utils/PP.dyn_o dist/build/Cryptol/Utils/Panic.dyn_o dist/build/Cryptol/Utils/Debug.dyn_o dist/build/Cryptol/Version.dyn_o dist/build/Cryptol/ModuleSystem.dyn_o dist/build/Cryptol/ModuleSystem/Base.dyn_o dist/build/Cryptol/ModuleSystem/Env.dyn_o dist/build/Cryptol/ModuleSystem/Interface.dyn_o dist/build/Cryptol/ModuleSystem/Monad.dyn_o dist/build/Cryptol/ModuleSystem/NamingEnv.dyn_o dist/build/Cryptol/ModuleSystem/Renamer.dyn_o dist/build/Cryptol/TypeCheck.dyn_o dist/build/Cryptol/TypeCheck/AST.dyn_o dist/build/Cryptol/TypeCheck/Monad.dyn_o dist/build/Cryptol/TypeCheck/Infer.dyn_o dist/build/Cryptol/TypeCheck/InferTypes.dyn_o dist/build/Cryptol/TypeCheck/Kind.dyn_o dist/build/Cryptol/TypeCheck/Subst.dyn_o dist/build/Cryptol/TypeCheck/Instantiate.dyn_o dist/build/Cryptol/TypeCheck/Unify.dyn_o dist/build/Cryptol/TypeCheck/Depends.dyn_o dist/build/Cryptol/TypeCheck/PP.dyn_o dist/build/Cryptol/TypeCheck/Solve.dyn_o dist/build/Cryptol/TypeCheck/TypeMap.dyn_o dist/build/Cryptol/TypeCheck/TypeOf.dyn_o dist/build/Cryptol/TypeCheck/Defaulting.dyn_o dist/build/Cryptol/TypeCheck/Solver/Eval.dyn_o dist/build/Cryptol/TypeCheck/Solver/FinOrd.dyn_o dist/build/Cryptol/TypeCheck/Solver/InfNat.dyn_o dist/build/Cryptol/TypeCheck/Solver/Interval.dyn_o dist/build/Cryptol/TypeCheck/Solver/Smtlib.dyn_o dist/build/Cryptol/TypeCheck/Solver/Numeric.dyn_o dist/build/Cryptol/TypeCheck/Solver/Class.dyn_o dist/build/Cryptol/TypeCheck/Solver/Selector.dyn_o dist/build/Cryptol/TypeCheck/Solver/CrySAT.dyn_o dist/build/Cryptol/TypeCheck/Solver/Utils.dyn_o dist/build/Cryptol/Transform/MonoValues.dyn_o dist/build/Cryptol/Transform/Specialize.dyn_o dist/build/Cryptol/Eval.dyn_o dist/build/Cryptol/Eval/Arch.dyn_o dist/build/Cryptol/Eval/Env.dyn_o dist/build/Cryptol/Eval/Error.dyn_o dist/build/Cryptol/Eval/Type.dyn_o dist/build/Cryptol/Eval/Value.dyn_o dist/build/Cryptol/Testing/Eval.dyn_o dist/build/Cryptol/Testing/Exhaust.dyn_o dist/build/Cryptol/Testing/Random.dyn_o dist/build/Cryptol/Symbolic.dyn_o dist/build/Cryptol/Symbolic/Prims.dyn_o dist/build/Cryptol/Symbolic/Value.dyn_o dist/build/Cryptol/REPL/Command.dyn_o dist/build/Cryptol/REPL/Monad.dyn_o dist/build/Cryptol/REPL/Trie.dyn_o dist/build/Cryptol/Parser/LexerUtils.dyn_o dist/build/Cryptol/Parser/ParserUtils.dyn_o dist/build/Cryptol/Prelude.dyn_o dist/build/Paths_cryptol.dyn_o dist/build/GitRev.dyn_o -o dist/build/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s-ghc7.10.2.so In-place registering cryptol-2.2.4... /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc-pkg update - --global --no-user-package-db '--package-db=dist/package.conf.inplace' Preprocessing executable 'cryptol' for cryptol-2.2.4... Building executable cryptol... creating dist/build/cryptol creating dist/build/cryptol/cryptol-tmp /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --make -no-link -fbuilding-cabal-package -O -static -outputdir dist/build/cryptol/cryptol-tmp -odir dist/build/cryptol/cryptol-tmp -hidir dist/build/cryptol/cryptol-tmp -stubdir dist/build/cryptol/cryptol-tmp -i -idist/build/cryptol/cryptol-tmp -icryptol -idist/build/autogen -Idist/build/autogen -Idist/build/cryptol/cryptol-tmp -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-include -optPdist/build/autogen/cabal_macros.h -hide-all-packages -no-user-package-db -package-db dist/package.conf.inplace -package-id ansi-terminal-0.6.2.3-f6781f0f2767df49990dd6b9a0469daa -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id cryptol-2.2.4-inplace -package-id deepseq-1.4.1.1-8fb9688ae42216e388cee132aef3d148 -package-id directory-1.2.2.0-258f6e56fc0799f4b45f149644b75783 -package-id filepath-1.4.0.0-8fee9c13b5e42926cc01f6aa7c403c4b -package-id haskeline-0.7.2.1-0a475c6a6a7de67d5fce6186e9d8d81a -package-id monadLib-3.7.3-825073f0ff408c3caa5349ec78b41be8 -package-id process-1.2.3.0-f0287ac288afc0705be775d1adda59ee -package-id random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1 -package-id sbv-4.4-36e43dcb7fdd0747abd952da25ef5dc7 -package-id tf-random-0.5-aab92d0363fe76c3aa78e9ff6ce3355c -package-id transformers-0.4.2.0-21dcbf13c43f5d8cf6a1f54dee6c5bff -XHaskell98 -XCPP cryptol/Main.hs -Wall -O2 [1 of 5] Compiling REPL.Haskeline ( cryptol/REPL/Haskeline.hs, dist/build/cryptol/cryptol-tmp/REPL/Haskeline.o ) [2 of 5] Compiling Paths_cryptol ( dist/build/autogen/Paths_cryptol.hs, dist/build/cryptol/cryptol-tmp/Paths_cryptol.o ) [3 of 5] Compiling REPL.Logo ( cryptol/REPL/Logo.hs, dist/build/cryptol/cryptol-tmp/REPL/Logo.o ) [4 of 5] Compiling OptParser ( cryptol/OptParser.hs, dist/build/cryptol/cryptol-tmp/OptParser.o ) [5 of 5] Compiling Main ( cryptol/Main.hs, dist/build/cryptol/cryptol-tmp/Main.o ) Linking... /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --make -fbuilding-cabal-package -O -static -outputdir dist/build/cryptol/cryptol-tmp -odir dist/build/cryptol/cryptol-tmp -hidir dist/build/cryptol/cryptol-tmp -stubdir dist/build/cryptol/cryptol-tmp -i -idist/build/cryptol/cryptol-tmp -icryptol -idist/build/autogen -Idist/build/autogen -Idist/build/cryptol/cryptol-tmp -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-include -optPdist/build/autogen/cabal_macros.h -L/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 '-dynload deploy' -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/GraphSCC-1.0.4-1NhADU18BkFIdVj9iGdYD8 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/QuickCheck-2.8.1-1fWvpr9QgXz0phpE20gfU8 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ansi-terminal-0.6.2.3-KW0LUY2zB7JCYzE4ZYrwBg -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/array_E0sTtauuKsGDLZoT7lTbgZ -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/async-2.0.2-J3wPtBMkDlC1zlPIsbgEk9 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/base_GDytRqRVSUX7zckgKqJjgw -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/binar_IvYoLp9H6Xy3zEH13MmZwd -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/rts -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/bytes_6elQVSg5cWdFrvRnfxTUrH -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/conta_LKCPrTJwOTOLk4OU37YmeN -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/crackNum-1.3-1eCcDcPz7qCApKTjiqogtz -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/data-binary-ieee754-0.4.4-KzyGDnetmi56TA3jcsc9cN -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/deeps_LbCWUlehDDeLxurARKDH5o -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/direc_KowvXytSqazBcvN7MGpFtg -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/filep_KsGE6pHE5eZHSN90ZVax6A -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/ghcpr_8TmvWUcS1U1IKHT0levwg3 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/gitrev-1.1.0-DbWnIqXKCbR1oS3lXy7p2G -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/haske_1dVCRhdIH7hAQWJrKwByYv -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/heredoc-0.2.0.0-9GPjDqIABKIAfoa8byjFM6 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ieee754-0.7.6-83kzroviKXw4npyWO9tKff -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/integ_2aU3IZNMF9a7mQ0OzsZ0dS -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/monadLib-3.7.3-JtyiEuBx8E8ExLbUWdxc6q -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/mtl_KMpng31YRYc5JfMWFZ3FCU -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/oldlo_D6X1KPq5Sui5XjrHMwvFwK -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/oldti_FBWJJDS5FKr7UKFScBcUW2 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/presburger-1.3.1-0yq1UYUm0bOLuMd0SWbBpP -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/prett_7UQTOB05U7lIYPkFOVraeR -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/primitive-0.6-3d4UsQu7pJCEtlsxN3gLjk -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/proce_FLTz0SLwyG6LJUpZ52HjkU -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/rando_1z8Ujelqc6aKgvPnbRUKkP -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/sbv-4.4-JmcuVAFgTTS4DnDjQs9SkU -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/smtLib-1.0.7-9ySxzNMcZkeKacRn9efYYs -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/stm_C1kFMnPqFjvDhFjgMZGUpr -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/syb-0.5.1-8qmIMcBFhWM7BKRUTFb5M4 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/templ_1ejK907jvoTHoZ6iZtHeyN -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/termi_KvtqTNXWuWjKicEYaZ7qsx -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/text_1l1AN4I48k37RaQ6fm6CEh -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/tf-random-0.5-926BwEbiHzi7pBkp4dTxOe -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/time_AXTdBF9VRQoBOqJT6qtmVH -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/trans_3eG64VdP2vzGjP6wJiCp5X -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/unix_A3WgcI5QiHK4PDo4jSYdwQ -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/utf8-string-1.0.1.1-HWC8Qen5AZrArJxFQJuE72 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -hide-all-packages -no-user-package-db -package-db dist/package.conf.inplace -package-id ansi-terminal-0.6.2.3-f6781f0f2767df49990dd6b9a0469daa -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id cryptol-2.2.4-inplace -package-id deepseq-1.4.1.1-8fb9688ae42216e388cee132aef3d148 -package-id directory-1.2.2.0-258f6e56fc0799f4b45f149644b75783 -package-id filepath-1.4.0.0-8fee9c13b5e42926cc01f6aa7c403c4b -package-id haskeline-0.7.2.1-0a475c6a6a7de67d5fce6186e9d8d81a -package-id monadLib-3.7.3-825073f0ff408c3caa5349ec78b41be8 -package-id process-1.2.3.0-f0287ac288afc0705be775d1adda59ee -package-id random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1 -package-id sbv-4.4-36e43dcb7fdd0747abd952da25ef5dc7 -package-id tf-random-0.5-aab92d0363fe76c3aa78e9ff6ce3355c -package-id transformers-0.4.2.0-21dcbf13c43f5d8cf6a1f54dee6c5bff -XHaskell98 -XCPP cryptol/Main.hs -o dist/build/cryptol/cryptol -Wall -O2 Linking dist/build/cryptol/cryptol ... /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --abi-hash -fbuilding-cabal-package -O -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-DRELOCATABLE -optP-DSELF_CONTAINED -optP-include -optPdist/build/autogen/cabal_macros.h -this-package-key crypt_KUszZjsqfGxCXNmt3j1s7s -hide-all-packages -no-user-package-db -package-id GraphSCC-1.0.4-9b513d6a8285a76b660dfe13957a5bb6 -package-id QuickCheck-2.8.1-b8cde035baf86e10569b5c8f1da0c941 -package-id array-0.5.1.0-d4206b835b96b5079d918fa1eab1a9a8 -package-id async-2.0.2-7323ce9f8a31649b3f9f961e623ae0eb -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id deepseq-1.4.1.1-8fb9688ae42216e388cee132aef3d148 -package-id directory-1.2.2.0-258f6e56fc0799f4b45f149644b75783 -package-id filepath-1.4.0.0-8fee9c13b5e42926cc01f6aa7c403c4b -package-id gitrev-1.1.0-d5ab218d6782c345f36e6ac1784f6672 -package-id heredoc-0.2.0.0-d384c1ba669a82a3ac72f10332460ec0 -package-id monadLib-3.7.3-825073f0ff408c3caa5349ec78b41be8 -package-id old-time-1.1.0.3-81c58f7b590af5471e2e611eb5a1183c -package-id presburger-1.3.1-dffb4b72b3b95c327932ec0eb0105698 -package-id pretty-1.1.2.0-2932d0905cc17ca1d9638eb9cca0a227 -package-id process-1.2.3.0-f0287ac288afc0705be775d1adda59ee -package-id random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1 -package-id sbv-4.4-36e43dcb7fdd0747abd952da25ef5dc7 -package-id smtLib-1.0.7-e4956d887d066bbb5ddbee2cff882f5c -package-id syb-0.5.1-09089498a055bd723b4a95c1351d3c8a -package-id template-haskell-2.10.0.0-90e8393d65f4ae44cb2026177a257f28 -package-id text-1.2.1.3-202edba6fea901191194d38d810da662 -package-id tf-random-0.5-aab92d0363fe76c3aa78e9ff6ce3355c -package-id transformers-0.4.2.0-21dcbf13c43f5d8cf6a1f54dee6c5bff -package-id utf8-string-1.0.1.1-b57dc726e3e886b2723bf233523c9c97 -XHaskell98 -XCPP Cryptol.Prims.Syntax Cryptol.Prims.Types Cryptol.Prims.Eval Cryptol.Prims.Doc Cryptol.Parser Cryptol.Parser.Lexer Cryptol.Parser.AST Cryptol.Parser.Position Cryptol.Parser.Names Cryptol.Parser.NoPat Cryptol.Parser.NoInclude Cryptol.Parser.Utils Cryptol.Parser.Unlit Cryptol.Utils.PP Cryptol.Utils.Panic Cryptol.Utils.Debug Cryptol.Version Cryptol.ModuleSystem Cryptol.ModuleSystem.Base Cryptol.ModuleSystem.Env Cryptol.ModuleSystem.Interface Cryptol.ModuleSystem.Monad Cryptol.ModuleSystem.NamingEnv Cryptol.ModuleSystem.Renamer Cryptol.TypeCheck Cryptol.TypeCheck.AST Cryptol.TypeCheck.Monad Cryptol.TypeCheck.Infer Cryptol.TypeCheck.InferTypes Cryptol.TypeCheck.Kind Cryptol.TypeCheck.Subst Cryptol.TypeCheck.Instantiate Cryptol.TypeCheck.Unify Cryptol.TypeCheck.Depends Cryptol.TypeCheck.PP Cryptol.TypeCheck.Solve Cryptol.TypeCheck.TypeMap Cryptol.TypeCheck.TypeOf Cryptol.TypeCheck.Defaulting Cryptol.TypeCheck.Solver.Eval Cryptol.TypeCheck.Solver.FinOrd Cryptol.TypeCheck.Solver.InfNat Cryptol.TypeCheck.Solver.Interval Cryptol.TypeCheck.Solver.Smtlib Cryptol.TypeCheck.Solver.Numeric Cryptol.TypeCheck.Solver.Class Cryptol.TypeCheck.Solver.Selector Cryptol.TypeCheck.Solver.CrySAT Cryptol.TypeCheck.Solver.Utils Cryptol.Transform.MonoValues Cryptol.Transform.Specialize Cryptol.Eval Cryptol.Eval.Arch Cryptol.Eval.Env Cryptol.Eval.Error Cryptol.Eval.Type Cryptol.Eval.Value Cryptol.Testing.Eval Cryptol.Testing.Exhaust Cryptol.Testing.Random Cryptol.Symbolic Cryptol.Symbolic.Prims Cryptol.Symbolic.Value Cryptol.REPL.Command Cryptol.REPL.Monad Cryptol.REPL.Trie -Wall -O2 Creating package registration file: /tmp/pkgConf-cryptol-2.21828253332123465261.4 directory dist/doc/html/cryptol does exist: False creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/x86_64-linux-ghc-7.10.2/cryptol-2.2.4 Installing lib/./Cryptol.cry to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/x86_64-linux-ghc-7.10.2/cryptol-2.2.4/./Cryptol.cry creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/doc/x86_64-linux-ghc-7.10.2/cryptol-2.2.4 Installing LICENSE to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/doc/x86_64-linux-ghc-7.10.2/cryptol-2.2.4/LICENSE Installing LICENSE.rtf to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/doc/x86_64-linux-ghc-7.10.2/cryptol-2.2.4/LICENSE.rtf Installing library in /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s Installing executable(s) in /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Utils creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Transform creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Testing creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Symbolic creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/REPL creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s Installing dist/build/Cryptol/Prims/Syntax.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims/Syntax.hi Installing dist/build/Cryptol/Prims/Types.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims/Types.hi Installing dist/build/Cryptol/Prims/Eval.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims/Eval.hi Installing dist/build/Cryptol/Prims/Doc.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims/Doc.hi Installing dist/build/Cryptol/Parser.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser.hi Installing dist/build/Cryptol/Parser/Lexer.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Lexer.hi Installing dist/build/Cryptol/Parser/AST.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/AST.hi Installing dist/build/Cryptol/Parser/Position.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Position.hi Installing dist/build/Cryptol/Parser/Names.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Names.hi Installing dist/build/Cryptol/Parser/NoPat.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/NoPat.hi Installing dist/build/Cryptol/Parser/NoInclude.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/NoInclude.hi Installing dist/build/Cryptol/Parser/Utils.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Utils.hi Installing dist/build/Cryptol/Parser/Unlit.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Unlit.hi Installing dist/build/Cryptol/Utils/PP.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Utils/PP.hi Installing dist/build/Cryptol/Utils/Panic.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Utils/Panic.hi Installing dist/build/Cryptol/Utils/Debug.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Utils/Debug.hi Installing dist/build/Cryptol/Version.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Version.hi Installing dist/build/Cryptol/ModuleSystem.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem.hi Installing dist/build/Cryptol/ModuleSystem/Base.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Base.hi Installing dist/build/Cryptol/ModuleSystem/Env.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Env.hi Installing dist/build/Cryptol/ModuleSystem/Interface.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Interface.hi Installing dist/build/Cryptol/ModuleSystem/Monad.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Monad.hi Installing dist/build/Cryptol/ModuleSystem/NamingEnv.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/NamingEnv.hi Installing dist/build/Cryptol/ModuleSystem/Renamer.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Renamer.hi Installing dist/build/Cryptol/TypeCheck.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck.hi Installing dist/build/Cryptol/TypeCheck/AST.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/AST.hi Installing dist/build/Cryptol/TypeCheck/Monad.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Monad.hi Installing dist/build/Cryptol/TypeCheck/Infer.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Infer.hi Installing dist/build/Cryptol/TypeCheck/InferTypes.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/InferTypes.hi Installing dist/build/Cryptol/TypeCheck/Kind.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Kind.hi Installing dist/build/Cryptol/TypeCheck/Subst.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Subst.hi Installing dist/build/Cryptol/TypeCheck/Instantiate.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Instantiate.hi Installing dist/build/Cryptol/TypeCheck/Unify.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Unify.hi Installing dist/build/Cryptol/TypeCheck/Depends.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Depends.hi Installing dist/build/Cryptol/TypeCheck/PP.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/PP.hi Installing dist/build/Cryptol/TypeCheck/Solve.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solve.hi Installing dist/build/Cryptol/TypeCheck/TypeMap.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/TypeMap.hi Installing dist/build/Cryptol/TypeCheck/TypeOf.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/TypeOf.hi Installing dist/build/Cryptol/TypeCheck/Defaulting.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Defaulting.hi Installing dist/build/Cryptol/TypeCheck/Solver/Eval.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Eval.hi Installing dist/build/Cryptol/TypeCheck/Solver/FinOrd.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/FinOrd.hi Installing dist/build/Cryptol/TypeCheck/Solver/InfNat.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/InfNat.hi Installing dist/build/Cryptol/TypeCheck/Solver/Interval.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Interval.hi Installing dist/build/Cryptol/TypeCheck/Solver/Smtlib.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Smtlib.hi Installing dist/build/Cryptol/TypeCheck/Solver/Numeric.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Numeric.hi Installing dist/build/Cryptol/TypeCheck/Solver/Class.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Class.hi Installing dist/build/Cryptol/TypeCheck/Solver/Selector.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Selector.hi Installing dist/build/Cryptol/TypeCheck/Solver/CrySAT.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/CrySAT.hi Installing dist/build/Cryptol/TypeCheck/Solver/Utils.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Utils.hi Installing dist/build/Cryptol/Transform/MonoValues.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Transform/MonoValues.hi Installing dist/build/Cryptol/Transform/Specialize.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Transform/Specialize.hi Installing dist/build/Cryptol/Eval.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval.hi Installing dist/build/Cryptol/Eval/Arch.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Arch.hi Installing dist/build/Cryptol/Eval/Env.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Env.hi Installing dist/build/Cryptol/Eval/Error.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Error.hi Installing dist/build/Cryptol/Eval/Type.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Type.hi Installing dist/build/Cryptol/Eval/Value.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Value.hi Installing dist/build/Cryptol/Testing/Eval.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Testing/Eval.hi Installing dist/build/Cryptol/Testing/Exhaust.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Testing/Exhaust.hi Installing dist/build/Cryptol/Testing/Random.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Testing/Random.hi Installing dist/build/Cryptol/Symbolic.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Symbolic.hi Installing dist/build/Cryptol/Symbolic/Prims.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Symbolic/Prims.hi Installing dist/build/Cryptol/Symbolic/Value.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Symbolic/Value.hi Installing dist/build/Cryptol/REPL/Command.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/REPL/Command.hi Installing dist/build/Cryptol/REPL/Monad.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/REPL/Monad.hi Installing dist/build/Cryptol/REPL/Trie.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/REPL/Trie.hi Installing dist/build/Cryptol/Parser/LexerUtils.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/LexerUtils.hi Installing dist/build/Cryptol/Parser/ParserUtils.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/ParserUtils.hi Installing dist/build/Cryptol/Prelude.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prelude.hi Installing dist/build/Paths_cryptol.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Paths_cryptol.hi Installing dist/build/GitRev.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/GitRev.hi creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Utils creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Transform creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Testing creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Symbolic creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/REPL creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s Installing dist/build/Cryptol/Prims/Syntax.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims/Syntax.p_hi Installing dist/build/Cryptol/Prims/Types.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims/Types.p_hi Installing dist/build/Cryptol/Prims/Eval.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims/Eval.p_hi Installing dist/build/Cryptol/Prims/Doc.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims/Doc.p_hi Installing dist/build/Cryptol/Parser.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser.p_hi Installing dist/build/Cryptol/Parser/Lexer.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Lexer.p_hi Installing dist/build/Cryptol/Parser/AST.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/AST.p_hi Installing dist/build/Cryptol/Parser/Position.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Position.p_hi Installing dist/build/Cryptol/Parser/Names.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Names.p_hi Installing dist/build/Cryptol/Parser/NoPat.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/NoPat.p_hi Installing dist/build/Cryptol/Parser/NoInclude.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/NoInclude.p_hi Installing dist/build/Cryptol/Parser/Utils.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Utils.p_hi Installing dist/build/Cryptol/Parser/Unlit.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Unlit.p_hi Installing dist/build/Cryptol/Utils/PP.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Utils/PP.p_hi Installing dist/build/Cryptol/Utils/Panic.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Utils/Panic.p_hi Installing dist/build/Cryptol/Utils/Debug.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Utils/Debug.p_hi Installing dist/build/Cryptol/Version.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Version.p_hi Installing dist/build/Cryptol/ModuleSystem.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem.p_hi Installing dist/build/Cryptol/ModuleSystem/Base.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Base.p_hi Installing dist/build/Cryptol/ModuleSystem/Env.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Env.p_hi Installing dist/build/Cryptol/ModuleSystem/Interface.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Interface.p_hi Installing dist/build/Cryptol/ModuleSystem/Monad.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Monad.p_hi Installing dist/build/Cryptol/ModuleSystem/NamingEnv.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/NamingEnv.p_hi Installing dist/build/Cryptol/ModuleSystem/Renamer.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Renamer.p_hi Installing dist/build/Cryptol/TypeCheck.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck.p_hi Installing dist/build/Cryptol/TypeCheck/AST.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/AST.p_hi Installing dist/build/Cryptol/TypeCheck/Monad.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Monad.p_hi Installing dist/build/Cryptol/TypeCheck/Infer.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Infer.p_hi Installing dist/build/Cryptol/TypeCheck/InferTypes.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/InferTypes.p_hi Installing dist/build/Cryptol/TypeCheck/Kind.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Kind.p_hi Installing dist/build/Cryptol/TypeCheck/Subst.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Subst.p_hi Installing dist/build/Cryptol/TypeCheck/Instantiate.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Instantiate.p_hi Installing dist/build/Cryptol/TypeCheck/Unify.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Unify.p_hi Installing dist/build/Cryptol/TypeCheck/Depends.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Depends.p_hi Installing dist/build/Cryptol/TypeCheck/PP.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/PP.p_hi Installing dist/build/Cryptol/TypeCheck/Solve.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solve.p_hi Installing dist/build/Cryptol/TypeCheck/TypeMap.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/TypeMap.p_hi Installing dist/build/Cryptol/TypeCheck/TypeOf.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/TypeOf.p_hi Installing dist/build/Cryptol/TypeCheck/Defaulting.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Defaulting.p_hi Installing dist/build/Cryptol/TypeCheck/Solver/Eval.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Eval.p_hi Installing dist/build/Cryptol/TypeCheck/Solver/FinOrd.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/FinOrd.p_hi Installing dist/build/Cryptol/TypeCheck/Solver/InfNat.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/InfNat.p_hi Installing dist/build/Cryptol/TypeCheck/Solver/Interval.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Interval.p_hi Installing dist/build/Cryptol/TypeCheck/Solver/Smtlib.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Smtlib.p_hi Installing dist/build/Cryptol/TypeCheck/Solver/Numeric.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Numeric.p_hi Installing dist/build/Cryptol/TypeCheck/Solver/Class.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Class.p_hi Installing dist/build/Cryptol/TypeCheck/Solver/Selector.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Selector.p_hi Installing dist/build/Cryptol/TypeCheck/Solver/CrySAT.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/CrySAT.p_hi Installing dist/build/Cryptol/TypeCheck/Solver/Utils.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Utils.p_hi Installing dist/build/Cryptol/Transform/MonoValues.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Transform/MonoValues.p_hi Installing dist/build/Cryptol/Transform/Specialize.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Transform/Specialize.p_hi Installing dist/build/Cryptol/Eval.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval.p_hi Installing dist/build/Cryptol/Eval/Arch.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Arch.p_hi Installing dist/build/Cryptol/Eval/Env.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Env.p_hi Installing dist/build/Cryptol/Eval/Error.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Error.p_hi Installing dist/build/Cryptol/Eval/Type.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Type.p_hi Installing dist/build/Cryptol/Eval/Value.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Value.p_hi Installing dist/build/Cryptol/Testing/Eval.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Testing/Eval.p_hi Installing dist/build/Cryptol/Testing/Exhaust.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Testing/Exhaust.p_hi Installing dist/build/Cryptol/Testing/Random.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Testing/Random.p_hi Installing dist/build/Cryptol/Symbolic.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Symbolic.p_hi Installing dist/build/Cryptol/Symbolic/Prims.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Symbolic/Prims.p_hi Installing dist/build/Cryptol/Symbolic/Value.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Symbolic/Value.p_hi Installing dist/build/Cryptol/REPL/Command.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/REPL/Command.p_hi Installing dist/build/Cryptol/REPL/Monad.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/REPL/Monad.p_hi Installing dist/build/Cryptol/REPL/Trie.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/REPL/Trie.p_hi Installing dist/build/Cryptol/Parser/LexerUtils.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/LexerUtils.p_hi Installing dist/build/Cryptol/Parser/ParserUtils.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/ParserUtils.p_hi Installing dist/build/Cryptol/Prelude.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prelude.p_hi Installing dist/build/Paths_cryptol.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Paths_cryptol.p_hi Installing dist/build/GitRev.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/GitRev.p_hi creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Utils creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Transform creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Testing creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Symbolic creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/REPL creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s Installing dist/build/Cryptol/Prims/Syntax.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims/Syntax.dyn_hi Installing dist/build/Cryptol/Prims/Types.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims/Types.dyn_hi Installing dist/build/Cryptol/Prims/Eval.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims/Eval.dyn_hi Installing dist/build/Cryptol/Prims/Doc.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prims/Doc.dyn_hi Installing dist/build/Cryptol/Parser.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser.dyn_hi Installing dist/build/Cryptol/Parser/Lexer.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Lexer.dyn_hi Installing dist/build/Cryptol/Parser/AST.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/AST.dyn_hi Installing dist/build/Cryptol/Parser/Position.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Position.dyn_hi Installing dist/build/Cryptol/Parser/Names.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Names.dyn_hi Installing dist/build/Cryptol/Parser/NoPat.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/NoPat.dyn_hi Installing dist/build/Cryptol/Parser/NoInclude.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/NoInclude.dyn_hi Installing dist/build/Cryptol/Parser/Utils.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Utils.dyn_hi Installing dist/build/Cryptol/Parser/Unlit.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/Unlit.dyn_hi Installing dist/build/Cryptol/Utils/PP.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Utils/PP.dyn_hi Installing dist/build/Cryptol/Utils/Panic.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Utils/Panic.dyn_hi Installing dist/build/Cryptol/Utils/Debug.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Utils/Debug.dyn_hi Installing dist/build/Cryptol/Version.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Version.dyn_hi Installing dist/build/Cryptol/ModuleSystem.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem.dyn_hi Installing dist/build/Cryptol/ModuleSystem/Base.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Base.dyn_hi Installing dist/build/Cryptol/ModuleSystem/Env.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Env.dyn_hi Installing dist/build/Cryptol/ModuleSystem/Interface.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Interface.dyn_hi Installing dist/build/Cryptol/ModuleSystem/Monad.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Monad.dyn_hi Installing dist/build/Cryptol/ModuleSystem/NamingEnv.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/NamingEnv.dyn_hi Installing dist/build/Cryptol/ModuleSystem/Renamer.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/ModuleSystem/Renamer.dyn_hi Installing dist/build/Cryptol/TypeCheck.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck.dyn_hi Installing dist/build/Cryptol/TypeCheck/AST.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/AST.dyn_hi Installing dist/build/Cryptol/TypeCheck/Monad.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Monad.dyn_hi Installing dist/build/Cryptol/TypeCheck/Infer.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Infer.dyn_hi Installing dist/build/Cryptol/TypeCheck/InferTypes.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/InferTypes.dyn_hi Installing dist/build/Cryptol/TypeCheck/Kind.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Kind.dyn_hi Installing dist/build/Cryptol/TypeCheck/Subst.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Subst.dyn_hi Installing dist/build/Cryptol/TypeCheck/Instantiate.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Instantiate.dyn_hi Installing dist/build/Cryptol/TypeCheck/Unify.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Unify.dyn_hi Installing dist/build/Cryptol/TypeCheck/Depends.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Depends.dyn_hi Installing dist/build/Cryptol/TypeCheck/PP.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/PP.dyn_hi Installing dist/build/Cryptol/TypeCheck/Solve.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solve.dyn_hi Installing dist/build/Cryptol/TypeCheck/TypeMap.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/TypeMap.dyn_hi Installing dist/build/Cryptol/TypeCheck/TypeOf.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/TypeOf.dyn_hi Installing dist/build/Cryptol/TypeCheck/Defaulting.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Defaulting.dyn_hi Installing dist/build/Cryptol/TypeCheck/Solver/Eval.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Eval.dyn_hi Installing dist/build/Cryptol/TypeCheck/Solver/FinOrd.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/FinOrd.dyn_hi Installing dist/build/Cryptol/TypeCheck/Solver/InfNat.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/InfNat.dyn_hi Installing dist/build/Cryptol/TypeCheck/Solver/Interval.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Interval.dyn_hi Installing dist/build/Cryptol/TypeCheck/Solver/Smtlib.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Smtlib.dyn_hi Installing dist/build/Cryptol/TypeCheck/Solver/Numeric.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Numeric.dyn_hi Installing dist/build/Cryptol/TypeCheck/Solver/Class.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Class.dyn_hi Installing dist/build/Cryptol/TypeCheck/Solver/Selector.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Selector.dyn_hi Installing dist/build/Cryptol/TypeCheck/Solver/CrySAT.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/CrySAT.dyn_hi Installing dist/build/Cryptol/TypeCheck/Solver/Utils.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/TypeCheck/Solver/Utils.dyn_hi Installing dist/build/Cryptol/Transform/MonoValues.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Transform/MonoValues.dyn_hi Installing dist/build/Cryptol/Transform/Specialize.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Transform/Specialize.dyn_hi Installing dist/build/Cryptol/Eval.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval.dyn_hi Installing dist/build/Cryptol/Eval/Arch.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Arch.dyn_hi Installing dist/build/Cryptol/Eval/Env.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Env.dyn_hi Installing dist/build/Cryptol/Eval/Error.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Error.dyn_hi Installing dist/build/Cryptol/Eval/Type.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Type.dyn_hi Installing dist/build/Cryptol/Eval/Value.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Eval/Value.dyn_hi Installing dist/build/Cryptol/Testing/Eval.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Testing/Eval.dyn_hi Installing dist/build/Cryptol/Testing/Exhaust.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Testing/Exhaust.dyn_hi Installing dist/build/Cryptol/Testing/Random.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Testing/Random.dyn_hi Installing dist/build/Cryptol/Symbolic.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Symbolic.dyn_hi Installing dist/build/Cryptol/Symbolic/Prims.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Symbolic/Prims.dyn_hi Installing dist/build/Cryptol/Symbolic/Value.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Symbolic/Value.dyn_hi Installing dist/build/Cryptol/REPL/Command.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/REPL/Command.dyn_hi Installing dist/build/Cryptol/REPL/Monad.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/REPL/Monad.dyn_hi Installing dist/build/Cryptol/REPL/Trie.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/REPL/Trie.dyn_hi Installing dist/build/Cryptol/Parser/LexerUtils.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/LexerUtils.dyn_hi Installing dist/build/Cryptol/Parser/ParserUtils.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Parser/ParserUtils.dyn_hi Installing dist/build/Cryptol/Prelude.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Cryptol/Prelude.dyn_hi Installing dist/build/Paths_cryptol.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/Paths_cryptol.dyn_hi Installing dist/build/GitRev.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/GitRev.dyn_hi creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s Installing dist/build/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s.a to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s.a creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s Installing dist/build/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s_p.a to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s_p.a creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s /usr/bin/strip dist/build/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s-ghc7.10.2.so --strip-unneeded Installing executable dist/build/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s-ghc7.10.2.so to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s/libHScryptol-2.2.4-KUszZjsqfGxCXNmt3j1s7s-ghc7.10.2.so creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin Installing executable dist/build/cryptol/cryptol to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/cryptol /usr/bin/strip /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/cryptol /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --abi-hash -fbuilding-cabal-package -O -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-DRELOCATABLE -optP-DSELF_CONTAINED -optP-include -optPdist/build/autogen/cabal_macros.h -this-package-key crypt_KUszZjsqfGxCXNmt3j1s7s -hide-all-packages -no-user-package-db -package-id GraphSCC-1.0.4-9b513d6a8285a76b660dfe13957a5bb6 -package-id QuickCheck-2.8.1-b8cde035baf86e10569b5c8f1da0c941 -package-id array-0.5.1.0-d4206b835b96b5079d918fa1eab1a9a8 -package-id async-2.0.2-7323ce9f8a31649b3f9f961e623ae0eb -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id deepseq-1.4.1.1-8fb9688ae42216e388cee132aef3d148 -package-id directory-1.2.2.0-258f6e56fc0799f4b45f149644b75783 -package-id filepath-1.4.0.0-8fee9c13b5e42926cc01f6aa7c403c4b -package-id gitrev-1.1.0-d5ab218d6782c345f36e6ac1784f6672 -package-id heredoc-0.2.0.0-d384c1ba669a82a3ac72f10332460ec0 -package-id monadLib-3.7.3-825073f0ff408c3caa5349ec78b41be8 -package-id old-time-1.1.0.3-81c58f7b590af5471e2e611eb5a1183c -package-id presburger-1.3.1-dffb4b72b3b95c327932ec0eb0105698 -package-id pretty-1.1.2.0-2932d0905cc17ca1d9638eb9cca0a227 -package-id process-1.2.3.0-f0287ac288afc0705be775d1adda59ee -package-id random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1 -package-id sbv-4.4-36e43dcb7fdd0747abd952da25ef5dc7 -package-id smtLib-1.0.7-e4956d887d066bbb5ddbee2cff882f5c -package-id syb-0.5.1-09089498a055bd723b4a95c1351d3c8a -package-id template-haskell-2.10.0.0-90e8393d65f4ae44cb2026177a257f28 -package-id text-1.2.1.3-202edba6fea901191194d38d810da662 -package-id tf-random-0.5-aab92d0363fe76c3aa78e9ff6ce3355c -package-id transformers-0.4.2.0-21dcbf13c43f5d8cf6a1f54dee6c5bff -package-id utf8-string-1.0.1.1-b57dc726e3e886b2723bf233523c9c97 -XHaskell98 -XCPP Cryptol.Prims.Syntax Cryptol.Prims.Types Cryptol.Prims.Eval Cryptol.Prims.Doc Cryptol.Parser Cryptol.Parser.Lexer Cryptol.Parser.AST Cryptol.Parser.Position Cryptol.Parser.Names Cryptol.Parser.NoPat Cryptol.Parser.NoInclude Cryptol.Parser.Utils Cryptol.Parser.Unlit Cryptol.Utils.PP Cryptol.Utils.Panic Cryptol.Utils.Debug Cryptol.Version Cryptol.ModuleSystem Cryptol.ModuleSystem.Base Cryptol.ModuleSystem.Env Cryptol.ModuleSystem.Interface Cryptol.ModuleSystem.Monad Cryptol.ModuleSystem.NamingEnv Cryptol.ModuleSystem.Renamer Cryptol.TypeCheck Cryptol.TypeCheck.AST Cryptol.TypeCheck.Monad Cryptol.TypeCheck.Infer Cryptol.TypeCheck.InferTypes Cryptol.TypeCheck.Kind Cryptol.TypeCheck.Subst Cryptol.TypeCheck.Instantiate Cryptol.TypeCheck.Unify Cryptol.TypeCheck.Depends Cryptol.TypeCheck.PP Cryptol.TypeCheck.Solve Cryptol.TypeCheck.TypeMap Cryptol.TypeCheck.TypeOf Cryptol.TypeCheck.Defaulting Cryptol.TypeCheck.Solver.Eval Cryptol.TypeCheck.Solver.FinOrd Cryptol.TypeCheck.Solver.InfNat Cryptol.TypeCheck.Solver.Interval Cryptol.TypeCheck.Solver.Smtlib Cryptol.TypeCheck.Solver.Numeric Cryptol.TypeCheck.Solver.Class Cryptol.TypeCheck.Solver.Selector Cryptol.TypeCheck.Solver.CrySAT Cryptol.TypeCheck.Solver.Utils Cryptol.Transform.MonoValues Cryptol.Transform.Specialize Cryptol.Eval Cryptol.Eval.Arch Cryptol.Eval.Env Cryptol.Eval.Error Cryptol.Eval.Type Cryptol.Eval.Value Cryptol.Testing.Eval Cryptol.Testing.Exhaust Cryptol.Testing.Random Cryptol.Symbolic Cryptol.Symbolic.Prims Cryptol.Symbolic.Value Cryptol.REPL.Command Cryptol.REPL.Monad Cryptol.REPL.Trie -Wall -O2 Registering cryptol-2.2.4... /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc-pkg update - --global --no-user-package-db