Build #1 for linearscan-0.11.1
Package | linearscan-0.11.1 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2015-10-08 18:56:33.364123 UTC |
---|---|
Compiler | ghc-7.10.2 |
OS | linux |
Arch | x86_64 |
Dependencies | transformers-0.4.2.0, mtl-2.2.1, ghc-prim-0.4.0.0, containers-0.5.6.2, base-4.8.1.0 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring mtl-2.2.1... Building mtl-2.2.1... Preprocessing library mtl-2.2.1... [ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o ) [ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o ) [ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o ) [ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o ) [ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o ) [ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o ) [ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o ) [ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o ) [ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o ) [10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o ) [11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o ) [12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o ) [13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o ) [14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o ) [15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o ) [16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o ) [17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o ) [18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o ) [19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o ) [20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o ) [21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o ) [22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o ) In-place registering mtl-2.2.1... Running Haddock for mtl-2.2.1... Running hscolour for mtl-2.2.1... Preprocessing library mtl-2.2.1... Preprocessing library mtl-2.2.1... Haddock coverage: 75% ( 3 / 4) in 'Control.Monad.Writer.Class' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) 100% ( 5 / 5) in 'Control.Monad.State.Class' 100% ( 3 / 3) in 'Control.Monad.Reader.Class' 80% ( 4 / 5) in 'Control.Monad.RWS.Class' Missing documentation for: MonadRWS (Control/Monad/RWS/Class.hs:44) 100% ( 4 / 4) in 'Control.Monad.Identity' 100% ( 3 / 3) in 'Control.Monad.Error.Class' 50% ( 1 / 2) in 'Control.Monad.Cont.Class' Missing documentation for: MonadCont (Control/Monad/Cont/Class.hs:73) 100% ( 3 / 3) in 'Control.Monad.Trans' 93% ( 14 / 15) in 'Control.Monad.Error' Missing documentation for: runErrorT 100% ( 19 / 19) in 'Control.Monad.Except' 100% ( 5 / 5) in 'Control.Monad.List' 95% ( 21 / 22) in 'Control.Monad.RWS.Lazy' Missing documentation for: runRWST 100% ( 2 / 2) in 'Control.Monad.RWS' 96% ( 22 / 23) in 'Control.Monad.Reader' Missing documentation for: runReaderT 95% ( 21 / 22) in 'Control.Monad.RWS.Strict' Missing documentation for: runRWST 96% ( 24 / 25) in 'Control.Monad.State.Lazy' Missing documentation for: runStateT 100% ( 2 / 2) in 'Control.Monad.State' 96% ( 24 / 25) in 'Control.Monad.State.Strict' Missing documentation for: runStateT 89% ( 17 / 19) in 'Control.Monad.Writer.Lazy' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) runWriterT 100% ( 2 / 2) in 'Control.Monad.Writer' 94% ( 17 / 18) in 'Control.Monad.Writer.Strict' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) 91% ( 20 / 22) in 'Control.Monad.Cont' Missing documentation for: MonadCont (Control/Monad/Cont/Class.hs:73) runContT Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt Creating package registration file: /tmp/pkgConf-mtl-2.2278722862233665123.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/mtl-2.2.1-KMpng31YRYc5JfMWFZ3FCU Registering mtl-2.2.1... Installed mtl-2.2.1 Downloading linearscan-0.11.1... Configuring linearscan-0.11.1... Building linearscan-0.11.1... Preprocessing library linearscan-0.11.1... [ 1 of 57] Compiling Hask.Utils ( Hask/haskell/Hask/Utils.hs, dist/build/Hask/Utils.o ) [ 2 of 57] Compiling LinearScan.Context ( LinearScan/Context.hs, dist/build/LinearScan/Context.o ) [ 3 of 57] Compiling LinearScan.Maybe ( LinearScan/Maybe.hs, dist/build/LinearScan/Maybe.o ) [ 4 of 57] Compiling LinearScan.Specif ( LinearScan/Specif.hs, dist/build/LinearScan/Specif.o ) [ 5 of 57] Compiling LinearScan.Ssr ( LinearScan/Ssr.hs, dist/build/LinearScan/Ssr.o ) [ 6 of 57] Compiling LinearScan.Ssrbool ( LinearScan/Ssrbool.hs, dist/build/LinearScan/Ssrbool.o ) [ 7 of 57] Compiling LinearScan.Ascii ( LinearScan/Ascii.hs, dist/build/LinearScan/Ascii.o ) [ 8 of 57] Compiling LinearScan.Datatypes ( LinearScan/Datatypes.hs, dist/build/LinearScan/Datatypes.o ) [ 9 of 57] Compiling LinearScan.Logic ( LinearScan/Logic.hs, dist/build/LinearScan/Logic.o ) [10 of 57] Compiling LinearScan.NonEmpty ( LinearScan/NonEmpty.hs, dist/build/LinearScan/NonEmpty.o ) [11 of 57] Compiling LinearScan.Prelude0 ( LinearScan/Prelude0.hs, dist/build/LinearScan/Prelude0.o ) [12 of 57] Compiling LinearScan.Ssrfun ( LinearScan/Ssrfun.hs, dist/build/LinearScan/Ssrfun.o ) [13 of 57] Compiling LinearScan.Eqtype ( LinearScan/Eqtype.hs, dist/build/LinearScan/Eqtype.o ) [14 of 57] Compiling LinearScan.Ssrnat ( LinearScan/Ssrnat.hs, dist/build/LinearScan/Ssrnat.o ) [15 of 57] Compiling LinearScan.Seq ( LinearScan/Seq.hs, dist/build/LinearScan/Seq.o ) [16 of 57] Compiling LinearScan.IntSet ( LinearScan/IntSet.hs, dist/build/LinearScan/IntSet.o ) [17 of 57] Compiling LinearScan.List1 ( LinearScan/List1.hs, dist/build/LinearScan/List1.o ) [18 of 57] Compiling LinearScan.IntMap ( LinearScan/IntMap.hs, dist/build/LinearScan/IntMap.o ) [19 of 57] Compiling LinearScan.Choice ( LinearScan/Choice.hs, dist/build/LinearScan/Choice.o ) [20 of 57] Compiling LinearScan.Fintype ( LinearScan/Fintype.hs, dist/build/LinearScan/Fintype.o ) [21 of 57] Compiling LinearScan.Vector0 ( LinearScan/Vector0.hs, dist/build/LinearScan/Vector0.o ) [22 of 57] Compiling LinearScan.Contravariant ( LinearScan/Contravariant.hs, dist/build/LinearScan/Contravariant.o ) [23 of 57] Compiling LinearScan.Graph ( LinearScan/Graph.hs, dist/build/LinearScan/Graph.o ) [24 of 57] Compiling LinearScan.Lib ( LinearScan/Lib.hs, dist/build/LinearScan/Lib.o ) [25 of 57] Compiling LinearScan.List0 ( LinearScan/List0.hs, dist/build/LinearScan/List0.o ) [26 of 57] Compiling LinearScan.Nat ( LinearScan/Nat.hs, dist/build/LinearScan/Nat.o ) [27 of 57] Compiling LinearScan.Ssreflect ( LinearScan/Ssreflect.hs, dist/build/LinearScan/Ssreflect.o ) [28 of 57] Compiling LinearScan.Tuple ( LinearScan/Tuple.hs, dist/build/LinearScan/Tuple.o ) [29 of 57] Compiling LinearScan.String0 ( LinearScan/String0.hs, dist/build/LinearScan/String0.o ) [30 of 57] Compiling LinearScan.UsePos ( LinearScan/UsePos.hs, dist/build/LinearScan/UsePos.o ) [31 of 57] Compiling LinearScan.Trace ( LinearScan/Trace.hs, dist/build/LinearScan/Trace.o ) [32 of 57] Compiling LinearScan.Range ( LinearScan/Range.hs, dist/build/LinearScan/Range.o ) [33 of 57] Compiling LinearScan.Interval ( LinearScan/Interval.hs, dist/build/LinearScan/Interval.o ) [34 of 57] Compiling LinearScan.ScanState ( LinearScan/ScanState.hs, dist/build/LinearScan/ScanState.o ) [35 of 57] Compiling LinearScan.Morph ( LinearScan/Morph.hs, dist/build/LinearScan/Morph.o ) [36 of 57] Compiling LinearScan.Cursor ( LinearScan/Cursor.hs, dist/build/LinearScan/Cursor.o ) [37 of 57] Compiling LinearScan.Spill ( LinearScan/Spill.hs, dist/build/LinearScan/Spill.o ) [38 of 57] Compiling LinearScan.Split ( LinearScan/Split.hs, dist/build/LinearScan/Split.o ) [39 of 57] Compiling LinearScan.Allocate ( LinearScan/Allocate.hs, dist/build/LinearScan/Allocate.o ) [40 of 57] Compiling LinearScan.Functor ( LinearScan/Functor.hs, dist/build/LinearScan/Functor.o ) [41 of 57] Compiling LinearScan.Const ( LinearScan/Const.hs, dist/build/LinearScan/Const.o ) [42 of 57] Compiling LinearScan.Applicative ( LinearScan/Applicative.hs, dist/build/LinearScan/Applicative.o ) [43 of 57] Compiling LinearScan.Monad ( LinearScan/Monad.hs, dist/build/LinearScan/Monad.o ) [44 of 57] Compiling LinearScan.Blocks ( LinearScan/Blocks.hs, dist/build/LinearScan/Blocks.o ) [45 of 57] Compiling LinearScan.Class ( LinearScan/Class.hs, dist/build/LinearScan/Class.o ) [46 of 57] Compiling LinearScan.Identity ( LinearScan/Identity.hs, dist/build/LinearScan/Identity.o ) [47 of 57] Compiling LinearScan.State ( LinearScan/State.hs, dist/build/LinearScan/State.o ) [48 of 57] Compiling LinearScan.State0 ( LinearScan/State0.hs, dist/build/LinearScan/State0.o ) [49 of 57] Compiling LinearScan.Loops ( LinearScan/Loops.hs, dist/build/LinearScan/Loops.o ) [50 of 57] Compiling LinearScan.Lens ( LinearScan/Lens.hs, dist/build/LinearScan/Lens.o ) [51 of 57] Compiling LinearScan.LiveSets ( LinearScan/LiveSets.hs, dist/build/LinearScan/LiveSets.o ) [52 of 57] Compiling LinearScan.Resolve ( LinearScan/Resolve.hs, dist/build/LinearScan/Resolve.o ) [53 of 57] Compiling LinearScan.Build ( LinearScan/Build.hs, dist/build/LinearScan/Build.o ) [54 of 57] Compiling LinearScan.Verify ( LinearScan/Verify.hs, dist/build/LinearScan/Verify.o ) [55 of 57] Compiling LinearScan.Assign ( LinearScan/Assign.hs, dist/build/LinearScan/Assign.o ) [56 of 57] Compiling LinearScan.Main ( LinearScan/Main.hs, dist/build/LinearScan/Main.o ) [57 of 57] Compiling LinearScan ( LinearScan.hs, dist/build/LinearScan.o ) LinearScan.hs:25:1: Warning: The import of ‘Control.Applicative’ is redundant except perhaps to import instances from ‘Control.Applicative’ To import instances alone, use: import Control.Applicative() In-place registering linearscan-0.11.1... Running Haddock for linearscan-0.11.1... Running hscolour for linearscan-0.11.1... Preprocessing library linearscan-0.11.1... Preprocessing library linearscan-0.11.1... Haddock coverage: 0% ( 0 / 13) in 'Hask.Utils' Missing documentation for: Module header trace (Hask/haskell/Hask/Utils.hs:8) intMap_mergeWithKey' (Hask/haskell/Hask/Utils.hs:11) uncons (Hask/haskell/Hask/Utils.hs:24) vec_id (Hask/haskell/Hask/Utils.hs:29) vshiftin (Hask/haskell/Hask/Utils.hs:32) vreplace (Hask/haskell/Hask/Utils.hs:35) vmap (Hask/haskell/Hask/Utils.hs:38) vfoldl' (Hask/haskell/Hask/Utils.hs:41) vfoldl'_with_index (Hask/haskell/Hask/Utils.hs:44) vmap_with_index (Hask/haskell/Hask/Utils.hs:50) vnth (Hask/haskell/Hask/Utils.hs:56) vec_rect (Hask/haskell/Hask/Utils.hs:59) 0% ( 0 / 9) in 'LinearScan.Context' Missing documentation for: Module header Context (LinearScan/Context.hs:16) iask (LinearScan/Context.hs:19) context (LinearScan/Context.hs:23) iput (LinearScan/Context.hs:27) imap (LinearScan/Context.hs:31) ipure (LinearScan/Context.hs:39) ijoin (LinearScan/Context.hs:43) ibind (LinearScan/Context.hs:51) 0% ( 0 / 6) in 'LinearScan.Maybe' Missing documentation for: Module header fromMaybe (LinearScan/Maybe.hs:16) maybe (LinearScan/Maybe.hs:22) isJust (LinearScan/Maybe.hs:28) option_map (LinearScan/Maybe.hs:34) option_choose (LinearScan/Maybe.hs:40) 0% ( 0 / 3) in 'LinearScan.Specif' Missing documentation for: Module header Coq_sig (LinearScan/Specif.hs:16) Coq_sig2 (LinearScan/Specif.hs:20) 0% ( 0 / 3) in 'LinearScan.Ssr' Missing documentation for: Module header __ (LinearScan/Ssr.hs:16) prop (LinearScan/Ssr.hs:19) 0% ( 0 / 24) in 'LinearScan.Ssrbool' Missing documentation for: Module header unsafeCoerce (LinearScan/Ssrbool.hs:29) Any (LinearScan/Ssrbool.hs:38) __ (LinearScan/Ssrbool.hs:44) isSome (LinearScan/Ssrbool.hs:47) Coq_reflect (LinearScan/Ssrbool.hs:53) iffP (LinearScan/Ssrbool.hs:57) idP (LinearScan/Ssrbool.hs:65) andP (LinearScan/Ssrbool.hs:71) Coq_pred (LinearScan/Ssrbool.hs:80) Coq_rel (LinearScan/Ssrbool.hs:82) Coq_simpl_pred (LinearScan/Ssrbool.hs:84) coq_SimplPred (LinearScan/Ssrbool.hs:86) pred_of_simpl (LinearScan/Ssrbool.hs:90) Coq_simpl_rel (LinearScan/Ssrbool.hs:94) rel_of_simpl_rel (LinearScan/Ssrbool.hs:96) Coq_mem_pred (LinearScan/Ssrbool.hs:100) Coq_predType (LinearScan/Ssrbool.hs:103) Coq_pred_sort (LinearScan/Ssrbool.hs:106) mkPredType (LinearScan/Ssrbool.hs:108) pred_of_mem (LinearScan/Ssrbool.hs:112) mem (LinearScan/Ssrbool.hs:117) in_mem (LinearScan/Ssrbool.hs:122) pred_of_mem_pred (LinearScan/Ssrbool.hs:126) 0% ( 0 / 2) in 'LinearScan.Ascii' Missing documentation for: Module header Coq_ascii (LinearScan/Ascii.hs:16) 0% ( 0 / 4) in 'LinearScan.Datatypes' Missing documentation for: Module header nat_rect (LinearScan/Datatypes.hs:16) list_rect (LinearScan/Datatypes.hs:25) list_rec (LinearScan/Datatypes.hs:31) 0% ( 0 / 3) in 'LinearScan.Logic' Missing documentation for: Module header coq_False_rect (LinearScan/Logic.hs:16) coq_False_rec (LinearScan/Logic.hs:20) 0% ( 0 / 4) in 'LinearScan.NonEmpty' Missing documentation for: Module header coq_NonEmpty_rect (LinearScan/NonEmpty.hs:16) coq_NonEmpty_rec (LinearScan/NonEmpty.hs:26) coq_NE_from_list (LinearScan/NonEmpty.hs:31) 0% ( 0 / 5) in 'LinearScan.Prelude0' Missing documentation for: Module header flip (LinearScan/Prelude0.hs:16) const (LinearScan/Prelude0.hs:20) apply (LinearScan/Prelude0.hs:24) lebf (LinearScan/Prelude0.hs:28) 0% ( 0 / 7) in 'LinearScan.Ssrfun' Missing documentation for: Module header _Option__apply (LinearScan/Ssrfun.hs:18) _Option__coq_default (LinearScan/Ssrfun.hs:24) _Option__bind (LinearScan/Ssrfun.hs:28) pcomp (LinearScan/Ssrfun.hs:33) s2val (LinearScan/Ssrfun.hs:38) sig_of_sig2 (LinearScan/Ssrfun.hs:42) 0% ( 0 / 38) in 'LinearScan.Eqtype' Missing documentation for: Module header unsafeCoerce (LinearScan/Eqtype.hs:32) Any (LinearScan/Eqtype.hs:41) __ (LinearScan/Eqtype.hs:47) Equality__Coq_axiom (LinearScan/Eqtype.hs:50) Equality__Coq_mixin_of (LinearScan/Eqtype.hs:52) _Equality__op (LinearScan/Eqtype.hs:55) Equality__Coq_type (LinearScan/Eqtype.hs:60) Equality__Coq_sort (LinearScan/Eqtype.hs:64) _Equality__coq_class (LinearScan/Eqtype.hs:66) eq_op (LinearScan/Eqtype.hs:71) eqP (LinearScan/Eqtype.hs:75) eqbP (LinearScan/Eqtype.hs:81) bool_eqMixin (LinearScan/Eqtype.hs:103) bool_eqType (LinearScan/Eqtype.hs:107) Coq_subType (LinearScan/Eqtype.hs:111) Coq_sub_sort (LinearScan/Eqtype.hs:114) val (LinearScan/Eqtype.hs:116) coq_Sub (LinearScan/Eqtype.hs:121) insub (LinearScan/Eqtype.hs:126) insubd (LinearScan/Eqtype.hs:133) sig_subType (LinearScan/Eqtype.hs:138) inj_eqAxiom (LinearScan/Eqtype.hs:143) val_eqP (LinearScan/Eqtype.hs:148) sig_eqMixin (LinearScan/Eqtype.hs:154) sig_eqType (LinearScan/Eqtype.hs:160) pair_eq (LinearScan/Eqtype.hs:165) pair_eqP (LinearScan/Eqtype.hs:172) prod_eqMixin (LinearScan/Eqtype.hs:188) prod_eqType (LinearScan/Eqtype.hs:194) opt_eq (LinearScan/Eqtype.hs:198) opt_eqP (LinearScan/Eqtype.hs:205) option_eqMixin (LinearScan/Eqtype.hs:228) option_eqType (LinearScan/Eqtype.hs:233) sum_eq (LinearScan/Eqtype.hs:237) sum_eqP (LinearScan/Eqtype.hs:251) sum_eqMixin (LinearScan/Eqtype.hs:274) sum_eqType (LinearScan/Eqtype.hs:280) 0% ( 0 / 9) in 'LinearScan.Ssrnat' Missing documentation for: Module header unsafeCoerce (LinearScan/Ssrnat.hs:32) eqnP (LinearScan/Ssrnat.hs:39) nat_eqMixin (LinearScan/Ssrnat.hs:43) nat_eqType (LinearScan/Ssrnat.hs:47) nat_of_bool (LinearScan/Ssrnat.hs:51) odd (LinearScan/Ssrnat.hs:57) double_rec (LinearScan/Ssrnat.hs:66) double (LinearScan/Ssrnat.hs:75) 0% ( 0 / 28) in 'LinearScan.Seq' Missing documentation for: Module header unsafeCoerce (LinearScan/Seq.hs:35) __ (LinearScan/Seq.hs:42) nilp (LinearScan/Seq.hs:45) head (LinearScan/Seq.hs:50) rcons (LinearScan/Seq.hs:56) last (LinearScan/Seq.hs:62) belast (LinearScan/Seq.hs:68) Coq_last_spec (LinearScan/Seq.hs:74) lastP (LinearScan/Seq.hs:78) last_ind (LinearScan/Seq.hs:89) find (LinearScan/Seq.hs:102) count (LinearScan/Seq.hs:111) all (LinearScan/Seq.hs:117) drop (LinearScan/Seq.hs:123) eqseq (LinearScan/Seq.hs:135) eqseqP (LinearScan/Seq.hs:148) seq_eqMixin (LinearScan/Seq.hs:179) seq_eqType (LinearScan/Seq.hs:184) mem_seq (LinearScan/Seq.hs:188) Coq_eqseq_class (LinearScan/Seq.hs:196) pred_of_eq_seq (LinearScan/Seq.hs:198) seq_predType (LinearScan/Seq.hs:203) undup (LinearScan/Seq.hs:208) rem (LinearScan/Seq.hs:218) pmap (LinearScan/Seq.hs:228) iota (LinearScan/Seq.hs:235) flatten (LinearScan/Seq.hs:244) 0% ( 0 / 19) in 'LinearScan.IntSet' Missing documentation for: Module header unsafeCoerce (LinearScan/IntSet.hs:34) __ (LinearScan/IntSet.hs:41) IntSet (LinearScan/IntSet.hs:44) emptyIntSet (LinearScan/IntSet.hs:48) coq_IntSet_singleton (LinearScan/IntSet.hs:52) coq_IntSet_member (LinearScan/IntSet.hs:56) coq_IntSet_size (LinearScan/IntSet.hs:61) coq_IntSet_insert (LinearScan/IntSet.hs:65) coq_IntSet_delete (LinearScan/IntSet.hs:72) coq_IntSet_union (LinearScan/IntSet.hs:76) coq_IntSet_difference (LinearScan/IntSet.hs:82) coq_IntSet_foldl (LinearScan/IntSet.hs:90) coq_IntSet_forFold (LinearScan/IntSet.hs:94) coq_IntSet_toList (LinearScan/IntSet.hs:98) eqIntSet (LinearScan/IntSet.hs:102) eqIntSetP (LinearScan/IntSet.hs:107) coq_IntSet_eqMixin (LinearScan/IntSet.hs:124) coq_IntSet_eqType (LinearScan/IntSet.hs:128) 0% ( 0 / 11) in 'LinearScan.List1' Missing documentation for: Module header __ (LinearScan/List1.hs:19) concat (LinearScan/List1.hs:22) maybeLookup (LinearScan/List1.hs:26) forFold (LinearScan/List1.hs:39) forFoldr (LinearScan/List1.hs:43) catMaybes (LinearScan/List1.hs:47) span (LinearScan/List1.hs:57) partition (LinearScan/List1.hs:68) insert (LinearScan/List1.hs:76) sortBy (LinearScan/List1.hs:85) 0% ( 0 / 23) in 'LinearScan.IntMap' Missing documentation for: Module header unsafeCoerce (LinearScan/IntMap.hs:35) __ (LinearScan/IntMap.hs:42) IntMap (LinearScan/IntMap.hs:45) emptyIntMap (LinearScan/IntMap.hs:49) coq_IntMap_fromList (LinearScan/IntMap.hs:53) coq_IntMap_size (LinearScan/IntMap.hs:57) coq_IntMap_lookup (LinearScan/IntMap.hs:61) coq_IntMap_alter (LinearScan/IntMap.hs:65) coq_IntMap_insert (LinearScan/IntMap.hs:84) coq_IntMap_map (LinearScan/IntMap.hs:88) coq_IntMap_mergeWithKey (LinearScan/IntMap.hs:92) coq_IntMap_foldl (LinearScan/IntMap.hs:101) coq_IntMap_foldr (LinearScan/IntMap.hs:105) coq_IntMap_foldlWithKey (LinearScan/IntMap.hs:109) coq_IntMap_foldrWithKey (LinearScan/IntMap.hs:114) coq_IntMap_toList (LinearScan/IntMap.hs:119) coq_IntMap_combine (LinearScan/IntMap.hs:123) eqIntMap (LinearScan/IntMap.hs:140) eqIntMapP (LinearScan/IntMap.hs:146) coq_IntMap_eqMixin (LinearScan/IntMap.hs:165) coq_IntMap_eqType (LinearScan/IntMap.hs:171) coq_IntMap_groupOn (LinearScan/IntMap.hs:175) 0% ( 0 / 30) in 'LinearScan.Choice' Missing documentation for: Module header unsafeCoerce (LinearScan/Choice.hs:34) Any (LinearScan/Choice.hs:43) Choice__Coq_mixin_of (LinearScan/Choice.hs:49) _Choice__find (LinearScan/Choice.hs:53) Choice__Coq_class_of (LinearScan/Choice.hs:58) _Choice__base (LinearScan/Choice.hs:61) _Choice__mixin (LinearScan/Choice.hs:67) Choice__Coq_type (LinearScan/Choice.hs:72) Choice__Coq_sort (LinearScan/Choice.hs:76) _Choice__coq_class (LinearScan/Choice.hs:78) _Choice__InternalTheory__find (LinearScan/Choice.hs:83) coq_PcanChoiceMixin (LinearScan/Choice.hs:89) sub_choiceMixin (LinearScan/Choice.hs:105) nat_choiceMixin (LinearScan/Choice.hs:112) nat_choiceType (LinearScan/Choice.hs:122) Countable__Coq_mixin_of (LinearScan/Choice.hs:127) _Countable__pickle (LinearScan/Choice.hs:130) _Countable__unpickle (LinearScan/Choice.hs:135) Countable__Coq_class_of (LinearScan/Choice.hs:141) _Countable__mixin (LinearScan/Choice.hs:144) Countable__Coq_type (LinearScan/Choice.hs:150) Countable__Coq_sort (LinearScan/Choice.hs:154) _Countable__coq_class (LinearScan/Choice.hs:156) unpickle (LinearScan/Choice.hs:161) pickle (LinearScan/Choice.hs:166) coq_PcanCountMixin (LinearScan/Choice.hs:170) sub_countMixin (LinearScan/Choice.hs:176) nat_countMixin (LinearScan/Choice.hs:183) nat_countType (LinearScan/Choice.hs:187) 0% ( 0 / 27) in 'LinearScan.Fintype' Missing documentation for: Module header unsafeCoerce (LinearScan/Fintype.hs:35) Any (LinearScan/Fintype.hs:44) __ (LinearScan/Fintype.hs:50) Finite__Coq_mixin_of (LinearScan/Fintype.hs:53) _Finite__mixin_enum (LinearScan/Fintype.hs:57) Finite__Coq_class_of (LinearScan/Fintype.hs:63) _Finite__base (LinearScan/Fintype.hs:66) _Finite__mixin (LinearScan/Fintype.hs:71) Finite__Coq_type (LinearScan/Fintype.hs:76) Finite__Coq_sort (LinearScan/Fintype.hs:80) _Finite__coq_class (LinearScan/Fintype.hs:82) _Finite__EnumDef__enum (LinearScan/Fintype.hs:87) _Finite__EnumDef__enumDef (LinearScan/Fintype.hs:93) enum_mem (LinearScan/Fintype.hs:97) image_mem (LinearScan/Fintype.hs:103) ordinal_subType (LinearScan/Fintype.hs:108) ordinal_eqMixin (LinearScan/Fintype.hs:115) ordinal_eqType (LinearScan/Fintype.hs:125) ordinal_choiceMixin (LinearScan/Fintype.hs:129) ordinal_choiceType (LinearScan/Fintype.hs:136) ordinal_countMixin (LinearScan/Fintype.hs:141) ord_enum (LinearScan/Fintype.hs:149) ordinal_finMixin (LinearScan/Fintype.hs:156) ordinal_finType (LinearScan/Fintype.hs:161) ord0 (LinearScan/Fintype.hs:166) inord (LinearScan/Fintype.hs:170) 0% ( 0 / 20) in 'LinearScan.Vector0' Missing documentation for: Module header unsafeCoerce (LinearScan/Vector0.hs:33) Any (LinearScan/Vector0.hs:42) __ (LinearScan/Vector0.hs:48) Vec (LinearScan/Vector0.hs:51) vnil (LinearScan/Vector0.hs:53) vsing (LinearScan/Vector0.hs:57) vcons (LinearScan/Vector0.hs:61) fin_contra (LinearScan/Vector0.hs:65) fin_rect (LinearScan/Vector0.hs:71) vec_rect (LinearScan/Vector0.hs:85) vecn_rect (LinearScan/Vector0.hs:101) vec_to_seq (LinearScan/Vector0.hs:122) vfoldr_with_index (LinearScan/Vector0.hs:138) vfoldl_with_index (LinearScan/Vector0.hs:158) vconst (LinearScan/Vector0.hs:178) vreplace (LinearScan/Vector0.hs:183) vnth (LinearScan/Vector0.hs:208) vmodify (LinearScan/Vector0.hs:230) vshiftin (LinearScan/Vector0.hs:234) 0% ( 0 / 3) in 'LinearScan.Contravariant' Missing documentation for: Module header Any (LinearScan/Contravariant.hs:28) Contravariant (LinearScan/Contravariant.hs:34) 0% ( 0 / 13) in 'LinearScan.Graph' Missing documentation for: Module header unsafeCoerce (LinearScan/Graph.hs:34) Graph (LinearScan/Graph.hs:41) vertices (LinearScan/Graph.hs:46) edges (LinearScan/Graph.hs:52) emptyGraph (LinearScan/Graph.hs:58) addVertex (LinearScan/Graph.hs:62) addEdge (LinearScan/Graph.hs:71) removeEdge (LinearScan/Graph.hs:82) outbound (LinearScan/Graph.hs:90) inbound (LinearScan/Graph.hs:95) removeVertex (LinearScan/Graph.hs:100) topsort (LinearScan/Graph.hs:106) 0% ( 0 / 1) in 'LinearScan.Lib' Missing documentation for: Module header 0% ( 0 / 1) in 'LinearScan.List0' Missing documentation for: Module header 0% ( 0 / 1) in 'LinearScan.Nat' Missing documentation for: Module header 0% ( 0 / 1) in 'LinearScan.Ssreflect' Missing documentation for: Module header 0% ( 0 / 3) in 'LinearScan.Tuple' Missing documentation for: Module header first (LinearScan/Tuple.hs:16) curry (LinearScan/Tuple.hs:21) 0% ( 0 / 1) in 'LinearScan.String0' Missing documentation for: Module header 0% ( 0 / 13) in 'LinearScan.UsePos' Missing documentation for: Module header unsafeCoerce (LinearScan/UsePos.hs:33) VarKind (LinearScan/UsePos.hs:40) eqVarKind (LinearScan/UsePos.hs:46) eqVarKindP (LinearScan/UsePos.hs:66) coq_VarKind_eqMixin (LinearScan/UsePos.hs:122) coq_VarKind_eqType (LinearScan/UsePos.hs:126) UsePos (LinearScan/UsePos.hs:130) uloc (LinearScan/UsePos.hs:133) regReq (LinearScan/UsePos.hs:138) uvar (LinearScan/UsePos.hs:143) upos_le (LinearScan/UsePos.hs:148) head_or (LinearScan/UsePos.hs:152) 0% ( 0 / 7) in 'LinearScan.Trace' Missing documentation for: Module header IntervalIdT (LinearScan/Trace.hs:16) PhysRegT (LinearScan/Trace.hs:18) SpillConditionT (LinearScan/Trace.hs:20) SplitPositionT (LinearScan/Trace.hs:26) TrueIfActiveT (LinearScan/Trace.hs:30) SSTrace (LinearScan/Trace.hs:32) 0% ( 0 / 21) in 'LinearScan.Range' Missing documentation for: Module header unsafeCoerce (LinearScan/Range.hs:37) __ (LinearScan/Range.hs:44) RangeDesc (LinearScan/Range.hs:47) rbeg (LinearScan/Range.hs:50) rend (LinearScan/Range.hs:55) ups (LinearScan/Range.hs:60) head_or_end (LinearScan/Range.hs:65) getRangeDesc (LinearScan/Range.hs:69) packRange (LinearScan/Range.hs:73) coq_Range_shift (LinearScan/Range.hs:77) coq_Range_cons (LinearScan/Range.hs:81) range_ltn (LinearScan/Range.hs:85) SortedRanges (LinearScan/Range.hs:89) coq_SortedRanges_cat (LinearScan/Range.hs:91) transportSortedRanges (LinearScan/Range.hs:131) findRangeUsePos (LinearScan/Range.hs:136) SubRangesOf (LinearScan/Range.hs:159) rangeSpan (LinearScan/Range.hs:161) BoundedRange (LinearScan/Range.hs:194) emptyBoundedRange (LinearScan/Range.hs:196) 0% ( 0 / 25) in 'LinearScan.Interval' Missing documentation for: Module header __ (LinearScan/Interval.hs:25) IntervalDesc (LinearScan/Interval.hs:28) ivar (LinearScan/Interval.hs:32) ibeg (LinearScan/Interval.hs:37) iend (LinearScan/Interval.hs:42) rds (LinearScan/Interval.hs:47) getIntervalDesc (LinearScan/Interval.hs:52) packInterval (LinearScan/Interval.hs:56) intervalStart (LinearScan/Interval.hs:60) intervalEnd (LinearScan/Interval.hs:64) posWithinInterval (LinearScan/Interval.hs:68) findIntervalUsePos (LinearScan/Interval.hs:73) lookupUsePos (LinearScan/Interval.hs:112) nextUseAfter (LinearScan/Interval.hs:129) rangeFirstUsePos (LinearScan/Interval.hs:136) firstUsePos (LinearScan/Interval.hs:142) afterLifetimeHole (LinearScan/Interval.hs:154) firstUseReqReg (LinearScan/Interval.hs:172) intervalsIntersect (LinearScan/Interval.hs:176) intervalIntersectsWithSubrange (LinearScan/Interval.hs:187) divideIntervalRanges (LinearScan/Interval.hs:205) splitIntervalRanges (LinearScan/Interval.hs:335) SubIntervalsOf (LinearScan/Interval.hs:374) splitInterval (LinearScan/Interval.hs:376) 0% ( 0 / 21) in 'LinearScan.ScanState' Missing documentation for: Module header unsafeCoerce (LinearScan/ScanState.hs:37) PhysReg (LinearScan/ScanState.hs:44) FixedIntervalsType (LinearScan/ScanState.hs:46) ScanStateDesc (LinearScan/ScanState.hs:48) nextInterval (LinearScan/ScanState.hs:58) IntervalId (LinearScan/ScanState.hs:64) intervals (LinearScan/ScanState.hs:66) fixedIntervals (LinearScan/ScanState.hs:73) unhandled (LinearScan/ScanState.hs:79) active (LinearScan/ScanState.hs:85) inactive (LinearScan/ScanState.hs:91) handled (LinearScan/ScanState.hs:97) handledIds (LinearScan/ScanState.hs:104) sortRegisterVector (LinearScan/ScanState.hs:108) registerWithHighestPos (LinearScan/ScanState.hs:133) handledIntervalDescsForReg (LinearScan/ScanState.hs:140) verifyNewHandled (LinearScan/ScanState.hs:153) ScanStateStatus (LinearScan/ScanState.hs:167) ScanStateSig (LinearScan/ScanState.hs:171) packScanState (LinearScan/ScanState.hs:173) 0% ( 0 / 17) in 'LinearScan.Morph' Missing documentation for: Module header unsafeCoerce (LinearScan/Morph.hs:42) __ (LinearScan/Morph.hs:49) PhysReg (LinearScan/Morph.hs:52) SSInfo (LinearScan/Morph.hs:54) thisDesc (LinearScan/Morph.hs:57) SState (LinearScan/Morph.hs:62) error_ (LinearScan/Morph.hs:64) withScanStatePO (LinearScan/Morph.hs:69) liftLen (LinearScan/Morph.hs:86) strengthenHasLen (LinearScan/Morph.hs:112) moveUnhandledToHandled (LinearScan/Morph.hs:121) moveUnhandledToActive (LinearScan/Morph.hs:162) moveActiveToHandled (LinearScan/Morph.hs:191) moveActiveToInactive (LinearScan/Morph.hs:210) moveInactiveToActive (LinearScan/Morph.hs:225) moveInactiveToHandled (LinearScan/Morph.hs:241) 0% ( 0 / 5) in 'LinearScan.Cursor' Missing documentation for: Module header __ (LinearScan/Cursor.hs:21) curId (LinearScan/Cursor.hs:24) curIntDetails (LinearScan/Cursor.hs:29) withCursor (LinearScan/Cursor.hs:35) 0% ( 0 / 8) in 'LinearScan.Spill' Missing documentation for: Module header unsafeCoerce (LinearScan/Spill.hs:42) __ (LinearScan/Spill.hs:49) SpillCondition (LinearScan/Spill.hs:52) coq_SpillConditionToT (LinearScan/Spill.hs:58) optimalSplitPosition (LinearScan/Spill.hs:70) spillInterval (LinearScan/Spill.hs:75) spillCurrentInterval (LinearScan/Spill.hs:548) 0% ( 0 / 13) in 'LinearScan.Split' Missing documentation for: Module header unsafeCoerce (LinearScan/Split.hs:45) __ (LinearScan/Split.hs:52) PhysReg (LinearScan/Split.hs:55) SplitPosition (LinearScan/Split.hs:57) coq_SplitPositionToT (LinearScan/Split.hs:61) splitPosition (LinearScan/Split.hs:67) splitUnhandledInterval (LinearScan/Split.hs:74) splitCurrentInterval (LinearScan/Split.hs:260) splitActiveOrInactiveInterval (LinearScan/Split.hs:299) splitAssignedIntervalForReg (LinearScan/Split.hs:441) splitActiveIntervalForReg (LinearScan/Split.hs:608) splitAnyInactiveIntervalForReg (LinearScan/Split.hs:616) 0% ( 0 / 27) in 'LinearScan.Allocate' Missing documentation for: Module header unsafeCoerce (LinearScan/Allocate.hs:48) __ (LinearScan/Allocate.hs:55) PhysReg (LinearScan/Allocate.hs:58) intersectsWithFixedInterval (LinearScan/Allocate.hs:60) updateRegisterPos (LinearScan/Allocate.hs:72) findEligibleRegister (LinearScan/Allocate.hs:87) tryAllocateFreeReg (LinearScan/Allocate.hs:110) allocateBlockedReg (LinearScan/Allocate.hs:165) morphlen_transport (LinearScan/Allocate.hs:247) mt_fst (LinearScan/Allocate.hs:253) Coq_int_reg_seq (LinearScan/Allocate.hs:260) Coq_intermediate_result (LinearScan/Allocate.hs:262) goActive (LinearScan/Allocate.hs:264) dep_foldl_invE (LinearScan/Allocate.hs:311) checkActiveIntervals (LinearScan/Allocate.hs:337) moveInactiveToActive' (LinearScan/Allocate.hs:359) goInactive (LinearScan/Allocate.hs:384) checkInactiveIntervals (LinearScan/Allocate.hs:427) handleInterval (LinearScan/Allocate.hs:449) finalizeScanState_obligation_1 (LinearScan/Allocate.hs:472) finalizeScanState (LinearScan/Allocate.hs:515) walkIntervals (LinearScan/Allocate.hs:531) Allocation (LinearScan/Allocate.hs:583) intVal (LinearScan/Allocate.hs:586) intReg (LinearScan/Allocate.hs:591) determineAllocations (LinearScan/Allocate.hs:596) 0% ( 0 / 6) in 'LinearScan.Functor' Missing documentation for: Module header unsafeCoerce (LinearScan/Functor.hs:29) Any (LinearScan/Functor.hs:38) __ (LinearScan/Functor.hs:44) Functor (LinearScan/Functor.hs:47) fmap (LinearScan/Functor.hs:51) 0% ( 0 / 5) in 'LinearScan.Const' Missing documentation for: Module header Any (LinearScan/Const.hs:31) Const (LinearScan/Const.hs:37) coq_Const_Functor (LinearScan/Const.hs:39) coq_Const_Contravariant (LinearScan/Const.hs:43) 0% ( 0 / 9) in 'LinearScan.Applicative' Missing documentation for: Module header unsafeCoerce (LinearScan/Applicative.hs:31) Any (LinearScan/Applicative.hs:40) __ (LinearScan/Applicative.hs:46) Applicative (LinearScan/Applicative.hs:49) is_functor (LinearScan/Applicative.hs:53) pure (LinearScan/Applicative.hs:58) ap (LinearScan/Applicative.hs:63) liftA2 (LinearScan/Applicative.hs:68) 0% ( 0 / 17) in 'LinearScan.Monad' Missing documentation for: Module header __ (LinearScan/Monad.hs:20) Monad (LinearScan/Monad.hs:23) is_applicative (LinearScan/Monad.hs:26) join (LinearScan/Monad.hs:31) bind (LinearScan/Monad.hs:36) return_ (LinearScan/Monad.hs:41) when (LinearScan/Monad.hs:45) unless (LinearScan/Monad.hs:51) mapM (LinearScan/Monad.hs:57) mapM_ (LinearScan/Monad.hs:63) forM_ (LinearScan/Monad.hs:69) foldM (LinearScan/Monad.hs:73) forFoldM (LinearScan/Monad.hs:79) foldrM (LinearScan/Monad.hs:83) forFoldrM (LinearScan/Monad.hs:89) concatMapM (LinearScan/Monad.hs:93) 0% ( 0 / 28) in 'LinearScan.Blocks' Missing documentation for: Module header PhysReg (LinearScan/Blocks.hs:19) VarId (LinearScan/Blocks.hs:21) VarInfo (LinearScan/Blocks.hs:23) varId (LinearScan/Blocks.hs:26) varKind (LinearScan/Blocks.hs:31) regRequired (LinearScan/Blocks.hs:36) nat_of_varId (LinearScan/Blocks.hs:41) OpKind (LinearScan/Blocks.hs:47) OpId (LinearScan/Blocks.hs:52) OpInfo (LinearScan/Blocks.hs:54) opKind (LinearScan/Blocks.hs:63) opRefs (LinearScan/Blocks.hs:70) moveOp (LinearScan/Blocks.hs:77) saveOp (LinearScan/Blocks.hs:84) restoreOp (LinearScan/Blocks.hs:91) applyAllocs (LinearScan/Blocks.hs:98) BlockId (LinearScan/Blocks.hs:105) BlockInfo (LinearScan/Blocks.hs:107) blockId (LinearScan/Blocks.hs:115) blockSuccessors (LinearScan/Blocks.hs:121) splitCriticalEdge (LinearScan/Blocks.hs:128) blockOps (LinearScan/Blocks.hs:135) setBlockOps (LinearScan/Blocks.hs:142) allBlockOps (LinearScan/Blocks.hs:149) blockSize (LinearScan/Blocks.hs:156) foldOps (LinearScan/Blocks.hs:161) countOps (LinearScan/Blocks.hs:167) 0% ( 0 / 6) in 'LinearScan.Class' Missing documentation for: Module header unsafeCoerce (LinearScan/Class.hs:31) Any (LinearScan/Class.hs:40) __ (LinearScan/Class.hs:46) MonadTrans (LinearScan/Class.hs:49) lift (LinearScan/Class.hs:53) 0% ( 0 / 7) in 'LinearScan.Identity' Missing documentation for: Module header unsafeCoerce (LinearScan/Identity.hs:33) Any (LinearScan/Identity.hs:42) Identity (LinearScan/Identity.hs:48) coq_Identity_Functor (LinearScan/Identity.hs:50) coq_Identity_Applicative (LinearScan/Identity.hs:54) coq_Identity_Monad (LinearScan/Identity.hs:59) 0% ( 0 / 11) in 'LinearScan.State' Missing documentation for: Module header unsafeCoerce (LinearScan/State.hs:33) Any (LinearScan/State.hs:42) __ (LinearScan/State.hs:48) State (LinearScan/State.hs:51) get (LinearScan/State.hs:53) gets (LinearScan/State.hs:57) modify (LinearScan/State.hs:61) coq_State_Functor (LinearScan/State.hs:65) coq_State_Applicative (LinearScan/State.hs:71) coq_State_Monad (LinearScan/State.hs:83) 0% ( 0 / 13) in 'LinearScan.State0' Missing documentation for: Module header Any (LinearScan/State0.hs:36) StateT (LinearScan/State0.hs:42) getT (LinearScan/State0.hs:44) putT (LinearScan/State0.hs:48) modifyT (LinearScan/State0.hs:52) coq_StateT_Functor (LinearScan/State0.hs:56) coq_StateT_ap (LinearScan/State0.hs:61) coq_StateT_Applicative (LinearScan/State0.hs:71) coq_StateT_join (LinearScan/State0.hs:79) coq_StateT_Monad (LinearScan/State0.hs:87) coq_StateT_MonadTrans (LinearScan/State0.hs:91) liftStateT (LinearScan/State0.hs:96) 0% ( 0 / 26) in 'LinearScan.Loops' Missing documentation for: Module header unsafeCoerce (LinearScan/Loops.hs:44) LoopState (LinearScan/Loops.hs:51) activeBlocks (LinearScan/Loops.hs:57) visitedBlocks (LinearScan/Loops.hs:64) loopHeaderBlocks (LinearScan/Loops.hs:71) loopEndBlocks (LinearScan/Loops.hs:78) forwardBranches (LinearScan/Loops.hs:85) backwardBranches (LinearScan/Loops.hs:92) loopIndices (LinearScan/Loops.hs:99) loopDepths (LinearScan/Loops.hs:106) emptyLoopState (LinearScan/Loops.hs:113) modifyActiveBlocks (LinearScan/Loops.hs:119) modifyVisitedBlocks (LinearScan/Loops.hs:127) modifyLoopHeaderBlocks (LinearScan/Loops.hs:135) modifyLoopEndBlocks (LinearScan/Loops.hs:142) modifyForwardBranches (LinearScan/Loops.hs:149) modifyBackwardBranches (LinearScan/Loops.hs:156) setLoopIndices (LinearScan/Loops.hs:163) setLoopDepths (LinearScan/Loops.hs:169) addReference (LinearScan/Loops.hs:176) pathToLoopHeader (LinearScan/Loops.hs:184) computeLoopDepths (LinearScan/Loops.hs:239) computeVarReferences (LinearScan/Loops.hs:291) findLoopEnds (LinearScan/Loops.hs:316) computeBlockOrder (LinearScan/Loops.hs:384) 0% ( 0 / 19) in 'LinearScan.Lens' Missing documentation for: Module header unsafeCoerce (LinearScan/Lens.hs:38) Any (LinearScan/Lens.hs:47) __ (LinearScan/Lens.hs:53) Lens (LinearScan/Lens.hs:56) Lens' (LinearScan/Lens.hs:58) Getter (LinearScan/Lens.hs:60) Getting (LinearScan/Lens.hs:64) set (LinearScan/Lens.hs:66) over (LinearScan/Lens.hs:70) view (LinearScan/Lens.hs:74) stepdownl' (LinearScan/Lens.hs:78) stepdowng (LinearScan/Lens.hs:82) _1 (LinearScan/Lens.hs:86) _2 (LinearScan/Lens.hs:91) use (LinearScan/Lens.hs:96) plusStateT (LinearScan/Lens.hs:103) modifyStateT (LinearScan/Lens.hs:108) applyStateT (LinearScan/Lens.hs:113) 0% ( 0 / 26) in 'LinearScan.LiveSets' Missing documentation for: Module header unsafeCoerce (LinearScan/LiveSets.hs:46) __ (LinearScan/LiveSets.hs:53) BlockLiveSets (LinearScan/LiveSets.hs:56) blockLiveGen (LinearScan/LiveSets.hs:60) blockLiveKill (LinearScan/LiveSets.hs:66) blockLiveIn (LinearScan/LiveSets.hs:72) blockLiveOut (LinearScan/LiveSets.hs:78) blockFirstOpId (LinearScan/LiveSets.hs:84) blockLastOpId (LinearScan/LiveSets.hs:90) emptyBlockLiveSets (LinearScan/LiveSets.hs:96) eqBlockLiveSets (LinearScan/LiveSets.hs:102) eqBlockLiveSetsP (LinearScan/LiveSets.hs:126) coq_BlockLiveSets_eqMixin (LinearScan/LiveSets.hs:228) coq_BlockLiveSets_eqType (LinearScan/LiveSets.hs:232) _blockLiveGen (LinearScan/LiveSets.hs:236) _blockLiveKill (LinearScan/LiveSets.hs:243) _blockLiveIn (LinearScan/LiveSets.hs:250) _blockLiveOut (LinearScan/LiveSets.hs:257) _blockFirstOpId (LinearScan/LiveSets.hs:264) _blockLastOpId (LinearScan/LiveSets.hs:271) computeLiveSets (LinearScan/LiveSets.hs:278) computeLocalLiveSets (LinearScan/LiveSets.hs:338) updateLiveSets (LinearScan/LiveSets.hs:353) computeGlobalLiveSets (LinearScan/LiveSets.hs:378) computeGlobalLiveSetsRecursively (LinearScan/LiveSets.hs:391) 0% ( 0 / 22) in 'LinearScan.Resolve' Missing documentation for: Module header unsafeCoerce (LinearScan/Resolve.hs:44) __ (LinearScan/Resolve.hs:51) PhysReg (LinearScan/Resolve.hs:54) ResolvingMove (LinearScan/Resolve.hs:56) coq_ResolvingMove_rect (LinearScan/Resolve.hs:68) ResolvingMoveSet (LinearScan/Resolve.hs:90) weakenResolvingMove (LinearScan/Resolve.hs:102) eqResolvingMove (LinearScan/Resolve.hs:116) eqResolvingMoveP (LinearScan/Resolve.hs:207) coq_ResolvingMove_eqMixin (LinearScan/Resolve.hs:818) coq_ResolvingMove_eqType (LinearScan/Resolve.hs:823) shouldAddResolvingEdge (LinearScan/Resolve.hs:827) addResolution (LinearScan/Resolve.hs:933) addResolutions (LinearScan/Resolve.hs:947) isMoveSplittable (LinearScan/Resolve.hs:952) splitMove (LinearScan/Resolve.hs:958) resolvingMoves (LinearScan/Resolve.hs:973) determineMoves (LinearScan/Resolve.hs:1037) BlockMoves (LinearScan/Resolve.hs:1051) checkBlockBoundary (LinearScan/Resolve.hs:1053) resolveDataFlow (LinearScan/Resolve.hs:1074) 0% ( 0 / 26) in 'LinearScan.Build' Missing documentation for: Module header unsafeCoerce (LinearScan/Build.hs:53) __ (LinearScan/Build.hs:60) BuildState (LinearScan/Build.hs:63) newBuildState (LinearScan/Build.hs:65) PendingRanges (LinearScan/Build.hs:69) emptyPendingRanges (LinearScan/Build.hs:71) coq_BoundedRange_leq (LinearScan/Build.hs:82) compilePendingRanges (LinearScan/Build.hs:92) rangesToBoundedRanges (LinearScan/Build.hs:129) compressPendingRanges (LinearScan/Build.hs:136) mergeIntoSortedRanges (LinearScan/Build.hs:175) upos_before_rend (LinearScan/Build.hs:196) makeNewRange (LinearScan/Build.hs:202) makeUsePos (LinearScan/Build.hs:220) handleOutputVar (LinearScan/Build.hs:228) handleVar (LinearScan/Build.hs:339) handleVars_combine (LinearScan/Build.hs:356) handleVars_onlyRanges (LinearScan/Build.hs:376) handleVars_onlyVars (LinearScan/Build.hs:382) handleVars (LinearScan/Build.hs:405) reduceOp (LinearScan/Build.hs:417) reduceBlock (LinearScan/Build.hs:452) reduceBlocks (LinearScan/Build.hs:496) compileIntervals (LinearScan/Build.hs:530) buildIntervals (LinearScan/Build.hs:574) 0% ( 0 / 55) in 'LinearScan.Verify' Missing documentation for: Module header unsafeCoerce (LinearScan/Verify.hs:53) PhysReg (LinearScan/Verify.hs:60) UseVerifier (LinearScan/Verify.hs:62) RegAllocations (LinearScan/Verify.hs:67) RegStateDesc (LinearScan/Verify.hs:70) rsAllocs (Lin LinearScan.hs:25:1: Warning: The import of ‘Control.Applicative’ is redundant except perhaps to import instances from ‘Control.Applicative’ To import instances alone, use: import Control.Applicative() earScan/Verify.hs:73) rsStack (LinearScan/Verify.hs:78) RegStateDescSet (LinearScan/Verify.hs:83) fromRegStateDesc (LinearScan/Verify.hs:88) residency (LinearScan/Verify.hs:93) reservation (LinearScan/Verify.hs:99) newRegStateDesc (LinearScan/Verify.hs:105) AllocError (LinearScan/Verify.hs:111) RegStateSig (LinearScan/Verify.hs:131) packRegState (LinearScan/Verify.hs:133) VerifiedSig (LinearScan/Verify.hs:137) verDesc (LinearScan/Verify.hs:144) verInit (LinearScan/Verify.hs:150) verFinal (LinearScan/Verify.hs:156) verMoves (LinearScan/Verify.hs:162) verErrors (LinearScan/Verify.hs:169) verExt (LinearScan/Verify.hs:176) newVerifiedSig (LinearScan/Verify.hs:182) _verDesc (LinearScan/Verify.hs:187) _verState (LinearScan/Verify.hs:193) _verInit (LinearScan/Verify.hs:200) _verFinal (LinearScan/Verify.hs:207) _verMoves (LinearScan/Verify.hs:214) _verErrors (LinearScan/Verify.hs:221) _verExt (LinearScan/Verify.hs:229) Verified (LinearScan/Verify.hs:236) errorsT (LinearScan/Verify.hs:238) errorT (LinearScan/Verify.hs:251) addMove (LinearScan/Verify.hs:256) allocationsAt (LinearScan/Verify.hs:265) allocationFor (LinearScan/Verify.hs:274) checkAllocation (LinearScan/Verify.hs:287) reserveReg (LinearScan/Verify.hs:304) isReserved (LinearScan/Verify.hs:336) checkReservation (LinearScan/Verify.hs:345) releaseReg (LinearScan/Verify.hs:363) clearReg (LinearScan/Verify.hs:388) assignReg (LinearScan/Verify.hs:423) isResident (LinearScan/Verify.hs:469) checkResidency (LinearScan/Verify.hs:478) isStackAllocated (LinearScan/Verify.hs:500) checkStack (LinearScan/Verify.hs:508) allocStack (LinearScan/Verify.hs:521) freeStack (LinearScan/Verify.hs:541) verifyBlockBegin (LinearScan/Verify.hs:559) verifyBlockEnd (LinearScan/Verify.hs:617) verifyAllocs (LinearScan/Verify.hs:632) verifyResolutions (LinearScan/Verify.hs:762) verifyTransitions (LinearScan/Verify.hs:848) 0% ( 0 / 19) in 'LinearScan.Assign' Missing documentation for: Module header unsafeCoerce (LinearScan/Assign.hs:51) PhysReg (LinearScan/Assign.hs:58) AssnStateDesc (LinearScan/Assign.hs:60) assnOpId (LinearScan/Assign.hs:63) assnBlockBeg (LinearScan/Assign.hs:68) assnBlockEnd (LinearScan/Assign.hs:73) newAssnStateDesc (LinearScan/Assign.hs:78) _assnOpId (LinearScan/Assign.hs:83) _assnBlockBeg (LinearScan/Assign.hs:89) _assnBlockEnd (LinearScan/Assign.hs:95) generateMoves (LinearScan/Assign.hs:101) varAllocs (LinearScan/Assign.hs:136) varInfoAllocs (LinearScan/Assign.hs:162) Verified (LinearScan/Assign.hs:170) _verExt (LinearScan/Assign.hs:172) setAllocations (LinearScan/Assign.hs:177) considerOps (LinearScan/Assign.hs:229) assignRegNum (LinearScan/Assign.hs:600) 0% ( 0 / 6) in 'LinearScan.Main' Missing documentation for: Module header FinalStage (LinearScan/Main.hs:34) ScanStateDescSet (LinearScan/Main.hs:38) toScanStateDescSet (LinearScan/Main.hs:47) Details (LinearScan/Main.hs:69) linearScan (LinearScan/Main.hs:86) 57% ( 8 / 14) in 'LinearScan' Missing documentation for: Module header UseVerifier (LinearScan/Verify.hs:62) OpKind (LinearScan/Blocks.hs:47) VarId (LinearScan/Blocks.hs:21) VarKind (LinearScan/UsePos.hs:40) PhysReg (LinearScan/Blocks.hs:19) Documentation created: dist/doc/html/linearscan/index.html, dist/doc/html/linearscan/linearscan.txt Creating package registration file: /tmp/pkgConf-linearscan-0.119176792922006811972.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/linearscan-0.11.1-6DhFaDRuRm88lh9eBfdiq3 Registering linearscan-0.11.1... Installed linearscan-0.11.1
Test log
No test log was submitted for this report.