Build #2 for glpk-hs-0.3.5
| Package | glpk-hs-0.3.5 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Failed |
| Tests | NotTried |
| Time submitted | 2015-09-26 12:41:54.774259 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | mtl-2.2.1, deepseq-1.4.1.1, containers-0.5.6.2, base-4.8.1.0, array-0.5.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...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file: /tmp/pkgConf-mtl-2.2336465782861021530.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
Configuring glpk-hs-0.3.5...
Building glpk-hs-0.3.5...
Preprocessing library glpk-hs-0.3.5...
[ 1 of 21] Compiling Data.LinearProgram.GLPK.Types ( Data/LinearProgram/GLPK/Types.hs, dist/build/Data/LinearProgram/GLPK/Types.o )
[ 2 of 21] Compiling Control.Monad.LPMonad.Supply.Class ( Control/Monad/LPMonad/Supply/Class.hs, dist/build/Control/Monad/LPMonad/Supply/Class.o )
Control/Monad/LPMonad/Supply/Class.hs:8:1: Warning:
Module ‘Control.Monad.Error’ is deprecated:
Use Control.Monad.Except instead
Control/Monad/LPMonad/Supply/Class.hs:18:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:19:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:20:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:21:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:22:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:23:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:24:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:27:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:28:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:31:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:32:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:34:11: Warning:
In the use of type constructor or class ‘Error’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/LPMonad/Supply/Class.hs:34:55: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/LPMonad/Supply/Class.hs:35:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:36:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:39:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:40:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:43:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:44:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:47:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:48:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:51:1: Warning: Tab character
Control/Monad/LPMonad/Supply/Class.hs:52:1: Warning: Tab character
[ 3 of 21] Compiling Control.Monad.LPMonad.Supply ( Control/Monad/LPMonad/Supply.hs, dist/build/Control/Monad/LPMonad/Supply.o )
[ 4 of 21] Compiling Data.Algebra.Group ( Data/Algebra/Group.hs, dist/build/Data/Algebra/Group.o )
Data/Algebra/Group.hs:16:1: Warning: Tab character
Data/Algebra/Group.hs:17:1: Warning: Tab character
Data/Algebra/Group.hs:18:1: Warning: Tab character
Data/Algebra/Group.hs:19:1: Warning: Tab character
Data/Algebra/Group.hs:20:1: Warning: Tab character
Data/Algebra/Group.hs:21:1: Warning: Tab character
Data/Algebra/Group.hs:22:1: Warning: Tab character
Data/Algebra/Group.hs:23:1: Warning: Tab character
Data/Algebra/Group.hs:26:1: Warning: Tab character
Data/Algebra/Group.hs:27:1: Warning: Tab character
Data/Algebra/Group.hs:28:1: Warning: Tab character
Data/Algebra/Group.hs:29:1: Warning: Tab character
Data/Algebra/Group.hs:32:1: Warning: Tab character
Data/Algebra/Group.hs:33:1: Warning: Tab character
Data/Algebra/Group.hs:34:1: Warning: Tab character
Data/Algebra/Group.hs:35:1: Warning: Tab character
Data/Algebra/Group.hs:38:1: Warning: Tab character
Data/Algebra/Group.hs:39:1: Warning: Tab character
Data/Algebra/Group.hs:40:1: Warning: Tab character
Data/Algebra/Group.hs:41:1: Warning: Tab character
Data/Algebra/Group.hs:44:1: Warning: Tab character
Data/Algebra/Group.hs:45:1: Warning: Tab character
Data/Algebra/Group.hs:46:1: Warning: Tab character
Data/Algebra/Group.hs:47:1: Warning: Tab character
Data/Algebra/Group.hs:50:1: Warning: Tab character
Data/Algebra/Group.hs:51:1: Warning: Tab character
Data/Algebra/Group.hs:52:1: Warning: Tab character
Data/Algebra/Group.hs:53:1: Warning: Tab character
Data/Algebra/Group.hs:54:1: Warning: Tab character
Data/Algebra/Group.hs:57:1: Warning: Tab character
Data/Algebra/Group.hs:58:1: Warning: Tab character
Data/Algebra/Group.hs:59:1: Warning: Tab character
Data/Algebra/Group.hs:60:1: Warning: Tab character
Data/Algebra/Group.hs:63:1: Warning: Tab character
Data/Algebra/Group.hs:64:1: Warning: Tab character
Data/Algebra/Group.hs:65:1: Warning: Tab character
Data/Algebra/Group.hs:68:1: Warning: Tab character
Data/Algebra/Group.hs:69:1: Warning: Tab character
Data/Algebra/Group.hs:70:1: Warning: Tab character
Data/Algebra/Group.hs:73:1: Warning: Tab character
Data/Algebra/Group.hs:74:1: Warning: Tab character
Data/Algebra/Group.hs:75:1: Warning: Tab character
Data/Algebra/Group.hs:76:1: Warning: Tab character
Data/Algebra/Group.hs:79:1: Warning: Tab character
Data/Algebra/Group.hs:80:1: Warning: Tab character
Data/Algebra/Group.hs:81:1: Warning: Tab character
Data/Algebra/Group.hs:82:1: Warning: Tab character
Data/Algebra/Group.hs:83:1: Warning: Tab character
Data/Algebra/Group.hs:86:1: Warning: Tab character
Data/Algebra/Group.hs:87:1: Warning: Tab character
Data/Algebra/Group.hs:88:1: Warning: Tab character
Data/Algebra/Group.hs:89:1: Warning: Tab character
Data/Algebra/Group.hs:90:1: Warning: Tab character
Data/Algebra/Group.hs:93:1: Warning: Tab character
Data/Algebra/Group.hs:94:1: Warning: Tab character
Data/Algebra/Group.hs:95:1: Warning: Tab character
Data/Algebra/Group.hs:96:1: Warning: Tab character
Data/Algebra/Group.hs:97:1: Warning: Tab character
[ 5 of 21] Compiling Data.Algebra.Ring ( Data/Algebra/Ring.hs, dist/build/Data/Algebra/Ring.o )
Data/Algebra/Ring.hs:19:1: Warning: Tab character
Data/Algebra/Ring.hs:20:1: Warning: Tab character
Data/Algebra/Ring.hs:23:1: Warning: Tab character
Data/Algebra/Ring.hs:24:1: Warning: Tab character
Data/Algebra/Ring.hs:27:1: Warning: Tab character
Data/Algebra/Ring.hs:28:1: Warning: Tab character
Data/Algebra/Ring.hs:31:1: Warning: Tab character
Data/Algebra/Ring.hs:32:1: Warning: Tab character
Data/Algebra/Ring.hs:35:1: Warning: Tab character
Data/Algebra/Ring.hs:36:1: Warning: Tab character
Data/Algebra/Ring.hs:39:1: Warning: Tab character
Data/Algebra/Ring.hs:40:1: Warning: Tab character
Data/Algebra/Ring.hs:41:1: Warning: Tab character
Data/Algebra/Ring.hs:45:1: Warning: Tab character
Data/Algebra/Ring.hs:46:1: Warning: Tab character
Data/Algebra/Ring.hs:47:1: Warning: Tab character
Data/Algebra/Ring.hs:51:1: Warning: Tab character
Data/Algebra/Ring.hs:52:1: Warning: Tab character
Data/Algebra/Ring.hs:56:1: Warning: Tab character
Data/Algebra/Ring.hs:57:1: Warning: Tab character
[ 6 of 21] Compiling Data.Algebra.Module ( Data/Algebra/Module.hs, dist/build/Data/Algebra/Module.o )
Data/Algebra/Module.hs:14:1: Warning: Tab character
Data/Algebra/Module.hs:17:1: Warning: Tab character
Data/Algebra/Module.hs:20:1: Warning: Tab character
Data/Algebra/Module.hs:23:1: Warning: Tab character
Data/Algebra/Module.hs:26:1: Warning: Tab character
Data/Algebra/Module.hs:27:1: Warning: Tab character
Data/Algebra/Module.hs:30:1: Warning: Tab character
Data/Algebra/Module.hs:31:1: Warning: Tab character
Data/Algebra/Module.hs:34:1: Warning: Tab character
Data/Algebra/Module.hs:35:1: Warning: Tab character
Data/Algebra/Module.hs:38:1: Warning: Tab character
Data/Algebra/Module.hs:41:1: Warning: Tab character
Data/Algebra/Module.hs:44:1: Warning: Tab character
Data/Algebra/Module.hs:45:1: Warning: Tab character
Data/Algebra/Module.hs:48:1: Warning: Tab character
Data/Algebra/Module.hs:51:1: Warning: Tab character
Data/Algebra/Module.hs:54:1: Warning: Tab character
Data/Algebra/Module.hs:57:1: Warning: Tab character
Data/Algebra/Module.hs:60:1: Warning: Tab character
Data/Algebra/Module.hs:63:1: Warning: Tab character
Data/Algebra/Module.hs:64:1: Warning: Tab character
Data/Algebra/Module.hs:67:1: Warning: Tab character
Data/Algebra/Module.hs:68:1: Warning: Tab character
Data/Algebra/Module.hs:71:1: Warning: Tab character
Data/Algebra/Module.hs:72:1: Warning: Tab character
Data/Algebra/Module.hs:106:1: Warning: Tab character
Data/Algebra/Module.hs:107:1: Warning: Tab character
Data/Algebra/Module.hs:108:1: Warning: Tab character
Data/Algebra/Module.hs:109:1: Warning: Tab character
Data/Algebra/Module.hs:63:9: Warning:
Forall'd constraint ‘Ring r’ is not bound in RULE lhs
Orig bndrs: [r, m, $dRing_agtl, $dGroup_agtm, $dModule_agtn]
Orig lhs: let {
$dGroup_agAF :: Group m
[LclId, Str=DmdType]
$dGroup_agAF =
Data.Algebra.Module.$p2Module @ r @ m $dModule_agtn } in
let {
$dRing_agAE :: Ring r
[LclId, Str=DmdType]
$dRing_agAE =
Data.Algebra.Module.$p1Module @ r @ m $dModule_agtn } in
let {
$dGroup_agAG :: Group r
[LclId, Str=DmdType]
$dGroup_agAG = Data.Algebra.Ring.$p1Ring @ r $dRing_agAE } in
let {
$dGroup_agAD :: Group r
[LclId, Str=DmdType]
$dGroup_agAD = Data.Algebra.Ring.$p1Ring @ r $dRing_agtl } in
let {
$dModule_agtu :: Module r m
[LclId, Str=DmdType]
$dModule_agtu = $dModule_agtn } in
let {
$dModule_agtt :: Module r m
[LclId, Str=DmdType]
$dModule_agtt = $dModule_agtn } in
let {
$dGroup_agts :: Group (m, m)
[LclId, Str=DmdType]
$dGroup_agts = $dGroup_agtm } in
let {
$dRing_agtr :: Ring r
[LclId, Str=DmdType]
$dRing_agtr = $dRing_agAE } in
Data.Algebra.Module.$fModuler(,)
@ r @ m @ m $dRing_agtr $dGroup_agts $dModule_agtt $dModule_agtu
optimised lhs: Data.Algebra.Module.$fModuler(,)
@ r
@ m
@ m
(Data.Algebra.Module.$p1Module @ r @ m $dModule_agtn)
$dGroup_agtm
$dModule_agtt
$dModule_agtu
Data/Algebra/Module.hs:63:9: Warning:
Forall'd constraint ‘Ring r’ is not bound in RULE lhs
Orig bndrs: [r, m, $dRing_agtl, $dGroup_agtm, $dModule_agtn]
Orig lhs: let {
$dGroup_agAF :: Group m
[LclId, Str=DmdType]
$dGroup_agAF =
Data.Algebra.Module.$p2Module @ r @ m $dModule_agtn } in
let {
$dRing_agAE :: Ring r
[LclId, Str=DmdType]
$dRing_agAE =
Data.Algebra.Module.$p1Module @ r @ m $dModule_agtn } in
let {
$dGroup_agAG :: Group r
[LclId, Str=DmdType]
$dGroup_agAG = Data.Algebra.Ring.$p1Ring @ r $dRing_agAE } in
let {
$dGroup_agAD :: Group r
[LclId, Str=DmdType]
$dGroup_agAD = Data.Algebra.Ring.$p1Ring @ r $dRing_agtl } in
let {
$dModule_agtu :: Module r m
[LclId, Str=DmdType]
$dModule_agtu = $dModule_agtn } in
let {
$dModule_agtt :: Module r m
[LclId, Str=DmdType]
$dModule_agtt = $dModule_agtn } in
let {
$dGroup_agts :: Group (m, m)
[LclId, Str=DmdType]
$dGroup_agts = $dGroup_agtm } in
let {
$dRing_agtr :: Ring r
[LclId, Str=DmdType]
$dRing_agtr = $dRing_agAE } in
$c*^
@ r @ m @ m $dRing_agtr $dGroup_agts $dModule_agtt $dModule_agtu
optimised lhs: $c*^
@ r
@ m
@ m
(Data.Algebra.Module.$p1Module @ r @ m $dModule_agtn)
$dGroup_agtm
$dModule_agtt
$dModule_agtu
Data/Algebra/Module.hs:67:9: Warning:
Forall'd constraint ‘Ring r’ is not bound in RULE lhs
Orig bndrs: [r, m, $dRing_agsA, $dGroup_agsB, $dModule_agsC]
Orig lhs: let {
$dGroup_agAl :: Group m
[LclId, Str=DmdType]
$dGroup_agAl =
Data.Algebra.Module.$p2Module @ r @ m $dModule_agsC } in
let {
$dRing_agAk :: Ring r
[LclId, Str=DmdType]
$dRing_agAk =
Data.Algebra.Module.$p1Module @ r @ m $dModule_agsC } in
let {
$dGroup_agAm :: Group r
[LclId, Str=DmdType]
$dGroup_agAm = Data.Algebra.Ring.$p1Ring @ r $dRing_agAk } in
let {
$dGroup_agAj :: Group r
[LclId, Str=DmdType]
$dGroup_agAj = Data.Algebra.Ring.$p1Ring @ r $dRing_agsA } in
let {
$dModule_agsL :: Module r m
[LclId, Str=DmdType]
$dModule_agsL = $dModule_agsC } in
let {
$dModule_agsK :: Module r m
[LclId, Str=DmdType]
$dModule_agsK = $dModule_agsC } in
let {
$dModule_agsJ :: Module r m
[LclId, Str=DmdType]
$dModule_agsJ = $dModule_agsC } in
let {
$dGroup_agsI :: Group (m, m, m)
[LclId, Str=DmdType]
$dGroup_agsI = $dGroup_agsB } in
let {
$dRing_agsH :: Ring r
[LclId, Str=DmdType]
$dRing_agsH = $dRing_agAk } in
Data.Algebra.Module.$fModuler(,,)
@ r
@ m
@ m
@ m
$dRing_agsH
$dGroup_agsI
$dModule_agsJ
$dModule_agsK
$dModule_agsL
optimised lhs: Data.Algebra.Module.$fModuler(,,)
@ r
@ m
@ m
@ m
(Data.Algebra.Module.$p1Module @ r @ m $dModule_agsC)
$dGroup_agsB
$dModule_agsJ
$dModule_agsK
$dModule_agsL
Data/Algebra/Module.hs:67:9: Warning:
Forall'd constraint ‘Ring r’ is not bound in RULE lhs
Orig bndrs: [r, m, $dRing_agsA, $dGroup_agsB, $dModule_agsC]
Orig lhs: let {
$dGroup_agAl :: Group m
[LclId, Str=DmdType]
$dGroup_agAl =
Data.Algebra.Module.$p2Module @ r @ m $dModule_agsC } in
let {
$dRing_agAk :: Ring r
[LclId, Str=DmdType]
$dRing_agAk =
Data.Algebra.Module.$p1Module @ r @ m $dModule_agsC } in
let {
$dGroup_agAm :: Group r
[LclId, Str=DmdType]
$dGroup_agAm = Data.Algebra.Ring.$p1Ring @ r $dRing_agAk } in
let {
$dGroup_agAj :: Group r
[LclId, Str=DmdType]
$dGroup_agAj = Data.Algebra.Ring.$p1Ring @ r $dRing_agsA } in
let {
$dModule_agsL :: Module r m
[LclId, Str=DmdType]
$dModule_agsL = $dModule_agsC } in
let {
$dModule_agsK :: Module r m
[LclId, Str=DmdType]
$dModule_agsK = $dModule_agsC } in
let {
$dModule_agsJ :: Module r m
[LclId, Str=DmdType]
$dModule_agsJ = $dModule_agsC } in
let {
$dGroup_agsI :: Group (m, m, m)
[LclId, Str=DmdType]
$dGroup_agsI = $dGroup_agsB } in
let {
$dRing_agsH :: Ring r
[LclId, Str=DmdType]
$dRing_agsH = $dRing_agAk } in
$c*^
@ r
@ m
@ m
@ m
$dRing_agsH
$dGroup_agsI
$dModule_agsJ
$dModule_agsK
$dModule_agsL
optimised lhs: $c*^
@ r
@ m
@ m
@ m
(Data.Algebra.Module.$p1Module @ r @ m $dModule_agsC)
$dGroup_agsB
$dModule_agsJ
$dModule_agsK
$dModule_agsL
Data/Algebra/Module.hs:71:9: Warning:
Forall'd constraint ‘Ring r’ is not bound in RULE lhs
Orig bndrs: [r, m, $dRing_agrH, $dGroup_agrI, $dModule_agrJ]
Orig lhs: let {
$dGroup_agzV :: Group m
[LclId, Str=DmdType]
$dGroup_agzV =
Data.Algebra.Module.$p2Module @ r @ m $dModule_agrJ } in
let {
$dRing_agzU :: Ring r
[LclId, Str=DmdType]
$dRing_agzU =
Data.Algebra.Module.$p1Module @ r @ m $dModule_agrJ } in
let {
$dGroup_agzW :: Group r
[LclId, Str=DmdType]
$dGroup_agzW = Data.Algebra.Ring.$p1Ring @ r $dRing_agzU } in
let {
$dGroup_agzT :: Group r
[LclId, Str=DmdType]
$dGroup_agzT = Data.Algebra.Ring.$p1Ring @ r $dRing_agrH } in
let {
$dModule_agrU :: Module r m
[LclId, Str=DmdType]
$dModule_agrU = $dModule_agrJ } in
let {
$dModule_agrT :: Module r m
[LclId, Str=DmdType]
$dModule_agrT = $dModule_agrJ } in
let {
$dModule_agrS :: Module r m
[LclId, Str=DmdType]
$dModule_agrS = $dModule_agrJ } in
let {
$dModule_agrR :: Module r m
[LclId, Str=DmdType]
$dModule_agrR = $dModule_agrJ } in
let {
$dGroup_agrQ :: Group (m, m, m, m)
[LclId, Str=DmdType]
$dGroup_agrQ = $dGroup_agrI } in
let {
$dRing_agrP :: Ring r
[LclId, Str=DmdType]
$dRing_agrP = $dRing_agzU } in
Data.Algebra.Module.$fModuler(,,,)
@ r
@ m
@ m
@ m
@ m
$dRing_agrP
$dGroup_agrQ
$dModule_agrR
$dModule_agrS
$dModule_agrT
$dModule_agrU
optimised lhs: Data.Algebra.Module.$fModuler(,,,)
@ r
@ m
@ m
@ m
@ m
(Data.Algebra.Module.$p1Module @ r @ m $dModule_agrJ)
$dGroup_agrI
$dModule_agrR
$dModule_agrS
$dModule_agrT
$dModule_agrU
Data/Algebra/Module.hs:71:9: Warning:
Forall'd constraint ‘Ring r’ is not bound in RULE lhs
Orig bndrs: [r, m, $dRing_agrH, $dGroup_agrI, $dModule_agrJ]
Orig lhs: let {
$dGroup_agzV :: Group m
[LclId, Str=DmdType]
$dGroup_agzV =
Data.Algebra.Module.$p2Module @ r @ m $dModule_agrJ } in
let {
$dRing_agzU :: Ring r
[LclId, Str=DmdType]
$dRing_agzU =
Data.Algebra.Module.$p1Module @ r @ m $dModule_agrJ } in
let {
$dGroup_agzW :: Group r
[LclId, Str=DmdType]
$dGroup_agzW = Data.Algebra.Ring.$p1Ring @ r $dRing_agzU } in
let {
$dGroup_agzT :: Group r
[LclId, Str=DmdType]
$dGroup_agzT = Data.Algebra.Ring.$p1Ring @ r $dRing_agrH } in
let {
$dModule_agrU :: Module r m
[LclId, Str=DmdType]
$dModule_agrU = $dModule_agrJ } in
let {
$dModule_agrT :: Module r m
[LclId, Str=DmdType]
$dModule_agrT = $dModule_agrJ } in
let {
$dModule_agrS :: Module r m
[LclId, Str=DmdType]
$dModule_agrS = $dModule_agrJ } in
let {
$dModule_agrR :: Module r m
[LclId, Str=DmdType]
$dModule_agrR = $dModule_agrJ } in
let {
$dGroup_agrQ :: Group (m, m, m, m)
[LclId, Str=DmdType]
$dGroup_agrQ = $dGroup_agrI } in
let {
$dRing_agrP :: Ring r
[LclId, Str=DmdType]
$dRing_agrP = $dRing_agzU } in
$c*^
@ r
@ m
@ m
@ m
@ m
$dRing_agrP
$dGroup_agrQ
$dModule_agrR
$dModule_agrS
$dModule_agrT
$dModule_agrU
optimised lhs: $c*^
@ r
@ m
@ m
@ m
@ m
(Data.Algebra.Module.$p1Module @ r @ m $dModule_agrJ)
$dGroup_agrI
$dModule_agrR
$dModule_agrS
$dModule_agrT
$dModule_agrU
[ 7 of 21] Compiling Data.Algebra.Field ( Data/Algebra/Field.hs, dist/build/Data/Algebra/Field.o )
Data/Algebra/Field.hs:11:1: Warning: Tab character
Data/Algebra/Field.hs:12:1: Warning: Tab character
Data/Algebra/Field.hs:13:1: Warning: Tab character
Data/Algebra/Field.hs:14:1: Warning: Tab character
Data/Algebra/Field.hs:17:1: Warning: Tab character
Data/Algebra/Field.hs:20:1: Warning: Tab character
Data/Algebra/Field.hs:21:1: Warning: Tab character
[ 8 of 21] Compiling Data.LinearProgram.Types ( Data/LinearProgram/Types.hs, dist/build/Data/LinearProgram/Types.o )
[ 9 of 21] Compiling Data.Algebra ( Data/Algebra.hs, dist/build/Data/Algebra.o )
Data/Algebra.hs:12:1: Warning: Tab character
Data/Algebra.hs:13:1: Warning: Tab character
Data/Algebra.hs:14:1: Warning: Tab character
Data/Algebra.hs:15:1: Warning: Tab character
Data/Algebra.hs:16:1: Warning: Tab character
Data/Algebra.hs:17:1: Warning: Tab character
Data/Algebra.hs:18:1: Warning: Tab character
Data/Algebra.hs:19:1: Warning: Tab character
Data/Algebra.hs:20:1: Warning: Tab character
Data/Algebra.hs:21:1: Warning: Tab character
Data/Algebra.hs:22:1: Warning: Tab character
Data/Algebra.hs:23:1: Warning: Tab character
Data/Algebra.hs:24:1: Warning: Tab character
Data/Algebra.hs:25:1: Warning: Tab character
Data/Algebra.hs:26:1: Warning: Tab character
Data/Algebra.hs:27:1: Warning: Tab character
Data/Algebra.hs:28:1: Warning: Tab character
Data/Algebra.hs:29:1: Warning: Tab character
Data/Algebra.hs:30:1: Warning: Tab character
[10 of 21] Compiling Data.LinearProgram.LinExpr ( Data/LinearProgram/LinExpr.hs, dist/build/Data/LinearProgram/LinExpr.o )
Data/LinearProgram/LinExpr.hs:3:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:28:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:29:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:30:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:31:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:34:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:38:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:38:16: Warning: Tab character
Data/LinearProgram/LinExpr.hs:39:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:39:15: Warning: Tab character
Data/LinearProgram/LinExpr.hs:43:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:50:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:50:16: Warning: Tab character
Data/LinearProgram/LinExpr.hs:51:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:52:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:56:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:57:1: Warning: Tab character
Data/LinearProgram/LinExpr.hs:58:1: Warning: Tab character
[11 of 21] Compiling Data.LinearProgram.Spec ( Data/LinearProgram/Spec.hs, dist/build/Data/LinearProgram/Spec.o )
[12 of 21] Compiling Data.LinearProgram.Common ( Data/LinearProgram/Common.hs, dist/build/Data/LinearProgram/Common.o )
Data/LinearProgram/Common.hs:4:1: Warning: Tab character
Data/LinearProgram/Common.hs:5:1: Warning: Tab character
Data/LinearProgram/Common.hs:6:1: Warning: Tab character
Data/LinearProgram/Common.hs:16:1: Warning: Tab character
Data/LinearProgram/Common.hs:17:1: Warning: Tab character
Data/LinearProgram/Common.hs:18:1: Warning: Tab character
Data/LinearProgram/Common.hs:19:1: Warning: Tab character
[13 of 21] Compiling Control.Monad.LPMonad.Internal ( Control/Monad/LPMonad/Internal.hs, dist/build/Control/Monad/LPMonad/Internal.o )
Control/Monad/LPMonad/Internal.hs:84:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avVy :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avVy = GHC.Base.$p1Monad @ m $dMonad_avMc } in
let {
$dFunctor_avVz :: Functor m
[LclId, Str=DmdType]
$dFunctor_avVz =
GHC.Base.$p1Applicative @ m $dApplicative_avVy } in
setDirection
@ (StateT (LP v c) m)
@ v
@ c
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avVz)
$dFunctor_avVz
$dMonad_avMc)
$dMonad_avMc)
$dMonad_avMc)
Orig lhs: let {
$dApplicative_avVy :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avVy = GHC.Base.$p1Monad @ m $dMonad_avMc } in
let {
$dFunctor_avVz :: Functor m
[LclId, Str=DmdType]
$dFunctor_avVz =
GHC.Base.$p1Applicative @ m $dApplicative_avVy } in
let {
$dFunctor_avVC :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avVC =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avVz } in
let {
$dApplicative_avVB :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avVB =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avVC $dFunctor_avVz $dMonad_avMc } in
let {
$dMonad_avVA :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avVA =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avVB $dMonad_avMc } in
let {
$dMonadState_avMg :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avMg =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avVA $dMonad_avMc } in
setDirection @ (StateT (LP v c) m) @ v @ c $dMonadState_avMg
Control/Monad/LPMonad/Internal.hs:88:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avVh :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avVh = GHC.Base.$p1Monad @ m $dMonad_avLc } in
let {
$dFunctor_avVi :: Functor m
[LclId, Str=DmdType]
$dFunctor_avVi =
GHC.Base.$p1Applicative @ m $dApplicative_avVh } in
equal
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avLa
$dGroup_avLb
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avVi)
$dFunctor_avVi
$dMonad_avLc)
$dMonad_avLc)
$dMonad_avLc)
Orig lhs: let {
$dApplicative_avVh :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avVh = GHC.Base.$p1Monad @ m $dMonad_avLc } in
let {
$dFunctor_avVi :: Functor m
[LclId, Str=DmdType]
$dFunctor_avVi =
GHC.Base.$p1Applicative @ m $dApplicative_avVh } in
let {
$dFunctor_avVl :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avVl =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avVi } in
let {
$dApplicative_avVk :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avVk =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avVl $dFunctor_avVi $dMonad_avLc } in
let {
$dMonad_avVj :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avVj =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avVk $dMonad_avLc } in
let {
$dEq_avVg :: Eq v
[LclId, Str=DmdType]
$dEq_avVg = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avLa } in
let {
$dMonadState_avLi :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avLi =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avVj $dMonad_avLc } in
let {
$dGroup_avLh :: Group c
[LclId, Str=DmdType]
$dGroup_avLh = $dGroup_avLb } in
let {
$dOrd_avLg :: Ord v
[LclId, Str=DmdType]
$dOrd_avLg = $dOrd_avLa } in
equal
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avLg
$dGroup_avLh
$dMonadState_avLi
Control/Monad/LPMonad/Internal.hs:90:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avUF :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avUF = GHC.Base.$p1Monad @ m $dMonad_avIi } in
let {
$dFunctor_avUG :: Functor m
[LclId, Str=DmdType]
$dFunctor_avUG =
GHC.Base.$p1Applicative @ m $dApplicative_avUF } in
leq
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avIg
$dGroup_avIh
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avUG)
$dFunctor_avUG
$dMonad_avIi)
$dMonad_avIi)
$dMonad_avIi)
Orig lhs: let {
$dApplicative_avUF :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avUF = GHC.Base.$p1Monad @ m $dMonad_avIi } in
let {
$dFunctor_avUG :: Functor m
[LclId, Str=DmdType]
$dFunctor_avUG =
GHC.Base.$p1Applicative @ m $dApplicative_avUF } in
let {
$dFunctor_avUJ :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avUJ =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avUG } in
let {
$dApplicative_avUI :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avUI =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avUJ $dFunctor_avUG $dMonad_avIi } in
let {
$dMonad_avUH :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avUH =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avUI $dMonad_avIi } in
let {
$dEq_avUE :: Eq v
[LclId, Str=DmdType]
$dEq_avUE = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avIg } in
let {
$dMonadState_avIo :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avIo =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avUH $dMonad_avIi } in
let {
$dGroup_avIn :: Group c
[LclId, Str=DmdType]
$dGroup_avIn = $dGroup_avIh } in
let {
$dOrd_avIm :: Ord v
[LclId, Str=DmdType]
$dOrd_avIm = $dOrd_avIg } in
leq
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avIm
$dGroup_avIn
$dMonadState_avIo
Control/Monad/LPMonad/Internal.hs:92:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avUY :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avUY = GHC.Base.$p1Monad @ m $dMonad_avJK } in
let {
$dFunctor_avUZ :: Functor m
[LclId, Str=DmdType]
$dFunctor_avUZ =
GHC.Base.$p1Applicative @ m $dApplicative_avUY } in
geq
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avJI
$dGroup_avJJ
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avUZ)
$dFunctor_avUZ
$dMonad_avJK)
$dMonad_avJK)
$dMonad_avJK)
Orig lhs: let {
$dApplicative_avUY :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avUY = GHC.Base.$p1Monad @ m $dMonad_avJK } in
let {
$dFunctor_avUZ :: Functor m
[LclId, Str=DmdType]
$dFunctor_avUZ =
GHC.Base.$p1Applicative @ m $dApplicative_avUY } in
let {
$dFunctor_avV2 :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avV2 =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avUZ } in
let {
$dApplicative_avV1 :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avV1 =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avV2 $dFunctor_avUZ $dMonad_avJK } in
let {
$dMonad_avV0 :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avV0 =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avV1 $dMonad_avJK } in
let {
$dEq_avUX :: Eq v
[LclId, Str=DmdType]
$dEq_avUX = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avJI } in
let {
$dMonadState_avJQ :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avJQ =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avV0 $dMonad_avJK } in
let {
$dGroup_avJP :: Group c
[LclId, Str=DmdType]
$dGroup_avJP = $dGroup_avJJ } in
let {
$dOrd_avJO :: Ord v
[LclId, Str=DmdType]
$dOrd_avJO = $dOrd_avJI } in
geq
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avJO
$dGroup_avJP
$dMonadState_avJQ
Control/Monad/LPMonad/Internal.hs:104:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avUm :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avUm = GHC.Base.$p1Monad @ m $dMonad_avGQ } in
let {
$dFunctor_avUn :: Functor m
[LclId, Str=DmdType]
$dFunctor_avUn =
GHC.Base.$p1Applicative @ m $dApplicative_avUm } in
equal'
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avGO
$dGroup_avGP
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avUn)
$dFunctor_avUn
$dMonad_avGQ)
$dMonad_avGQ)
$dMonad_avGQ)
Orig lhs: let {
$dApplicative_avUm :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avUm = GHC.Base.$p1Monad @ m $dMonad_avGQ } in
let {
$dFunctor_avUn :: Functor m
[LclId, Str=DmdType]
$dFunctor_avUn =
GHC.Base.$p1Applicative @ m $dApplicative_avUm } in
let {
$dFunctor_avUq :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avUq =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avUn } in
let {
$dApplicative_avUp :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avUp =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avUq $dFunctor_avUn $dMonad_avGQ } in
let {
$dMonad_avUo :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avUo =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avUp $dMonad_avGQ } in
let {
$dEq_avUl :: Eq v
[LclId, Str=DmdType]
$dEq_avUl = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avGO } in
let {
$dMonadState_avGW :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avGW =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avUo $dMonad_avGQ } in
let {
$dGroup_avGV :: Group c
[LclId, Str=DmdType]
$dGroup_avGV = $dGroup_avGP } in
let {
$dOrd_avGU :: Ord v
[LclId, Str=DmdType]
$dOrd_avGU = $dOrd_avGO } in
equal'
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avGU
$dGroup_avGV
$dMonadState_avGW
Control/Monad/LPMonad/Internal.hs:106:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avU3 :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avU3 = GHC.Base.$p1Monad @ m $dMonad_avFo } in
let {
$dFunctor_avU4 :: Functor m
[LclId, Str=DmdType]
$dFunctor_avU4 =
GHC.Base.$p1Applicative @ m $dApplicative_avU3 } in
geq'
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avFm
$dGroup_avFn
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avU4)
$dFunctor_avU4
$dMonad_avFo)
$dMonad_avFo)
$dMonad_avFo)
Orig lhs: let {
$dApplicative_avU3 :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avU3 = GHC.Base.$p1Monad @ m $dMonad_avFo } in
let {
$dFunctor_avU4 :: Functor m
[LclId, Str=DmdType]
$dFunctor_avU4 =
GHC.Base.$p1Applicative @ m $dApplicative_avU3 } in
let {
$dFunctor_avU7 :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avU7 =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avU4 } in
let {
$dApplicative_avU6 :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avU6 =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avU7 $dFunctor_avU4 $dMonad_avFo } in
let {
$dMonad_avU5 :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avU5 =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avU6 $dMonad_avFo } in
let {
$dEq_avU2 :: Eq v
[LclId, Str=DmdType]
$dEq_avU2 = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avFm } in
let {
$dMonadState_avFu :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avFu =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avU5 $dMonad_avFo } in
let {
$dGroup_avFt :: Group c
[LclId, Str=DmdType]
$dGroup_avFt = $dGroup_avFn } in
let {
$dOrd_avFs :: Ord v
[LclId, Str=DmdType]
$dOrd_avFs = $dOrd_avFm } in
geq'
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avFs
$dGroup_avFt
$dMonadState_avFu
Control/Monad/LPMonad/Internal.hs:108:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avTK :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avTK = GHC.Base.$p1Monad @ m $dMonad_avDS } in
let {
$dFunctor_avTL :: Functor m
[LclId, Str=DmdType]
$dFunctor_avTL =
GHC.Base.$p1Applicative @ m $dApplicative_avTK } in
leq'
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avDQ
$dGroup_avDR
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avTL)
$dFunctor_avTL
$dMonad_avDS)
$dMonad_avDS)
$dMonad_avDS)
Orig lhs: let {
$dApplicative_avTK :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avTK = GHC.Base.$p1Monad @ m $dMonad_avDS } in
let {
$dFunctor_avTL :: Functor m
[LclId, Str=DmdType]
$dFunctor_avTL =
GHC.Base.$p1Applicative @ m $dApplicative_avTK } in
let {
$dFunctor_avTO :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avTO =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avTL } in
let {
$dApplicative_avTN :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avTN =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avTO $dFunctor_avTL $dMonad_avDS } in
let {
$dMonad_avTM :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avTM =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avTN $dMonad_avDS } in
let {
$dEq_avTJ :: Eq v
[LclId, Str=DmdType]
$dEq_avTJ = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avDQ } in
let {
$dMonadState_avDY :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avDY =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avTM $dMonad_avDS } in
let {
$dGroup_avDX :: Group c
[LclId, Str=DmdType]
$dGroup_avDX = $dGroup_avDR } in
let {
$dOrd_avDW :: Ord v
[LclId, Str=DmdType]
$dOrd_avDW = $dOrd_avDQ } in
leq'
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avDW
$dGroup_avDX
$dMonadState_avDY
Control/Monad/LPMonad/Internal.hs:116:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avTs :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avTs = GHC.Base.$p1Monad @ m $dMonad_avCw } in
let {
$dFunctor_avTt :: Functor m
[LclId, Str=DmdType]
$dFunctor_avTt =
GHC.Base.$p1Applicative @ m $dApplicative_avTs } in
equalTo
@ v
@ c
@ (StateT (LP v c) m)
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avTt)
$dFunctor_avTt
$dMonad_avCw)
$dMonad_avCw)
$dMonad_avCw)
Orig lhs: let {
$dApplicative_avTs :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avTs = GHC.Base.$p1Monad @ m $dMonad_avCw } in
let {
$dFunctor_avTt :: Functor m
[LclId, Str=DmdType]
$dFunctor_avTt =
GHC.Base.$p1Applicative @ m $dApplicative_avTs } in
let {
$dFunctor_avTw :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avTw =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avTt } in
let {
$dApplicative_avTv :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avTv =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avTw $dFunctor_avTt $dMonad_avCw } in
let {
$dMonad_avTu :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avTu =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avTv $dMonad_avCw } in
let {
$dMonadState_avCA :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avCA =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avTu $dMonad_avCw } in
equalTo @ v @ c @ (StateT (LP v c) m) $dMonadState_avCA
Control/Monad/LPMonad/Internal.hs:117:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avSW :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avSW = GHC.Base.$p1Monad @ m $dMonad_avAE } in
let {
$dFunctor_avSX :: Functor m
[LclId, Str=DmdType]
$dFunctor_avSX =
GHC.Base.$p1Applicative @ m $dApplicative_avSW } in
geqTo
@ v
@ c
@ (StateT (LP v c) m)
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avSX)
$dFunctor_avSX
$dMonad_avAE)
$dMonad_avAE)
$dMonad_avAE)
Orig lhs: let {
$dApplicative_avSW :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avSW = GHC.Base.$p1Monad @ m $dMonad_avAE } in
let {
$dFunctor_avSX :: Functor m
[LclId, Str=DmdType]
$dFunctor_avSX =
GHC.Base.$p1Applicative @ m $dApplicative_avSW } in
let {
$dFunctor_avT0 :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avT0 =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avSX } in
let {
$dApplicative_avSZ :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avSZ =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avT0 $dFunctor_avSX $dMonad_avAE } in
let {
$dMonad_avSY :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avSY =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avSZ $dMonad_avAE } in
let {
$dMonadState_avAI :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avAI =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avSY $dMonad_avAE } in
geqTo @ v @ c @ (StateT (LP v c) m) $dMonadState_avAI
Control/Monad/LPMonad/Internal.hs:118:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avTc :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avTc = GHC.Base.$p1Monad @ m $dMonad_avBA } in
let {
$dFunctor_avTd :: Functor m
[LclId, Str=DmdType]
$dFunctor_avTd =
GHC.Base.$p1Applicative @ m $dApplicative_avTc } in
leqTo
@ v
@ c
@ (StateT (LP v c) m)
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avTd)
$dFunctor_avTd
$dMonad_avBA)
$dMonad_avBA)
$dMonad_avBA)
Orig lhs: let {
$dApplicative_avTc :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avTc = GHC.Base.$p1Monad @ m $dMonad_avBA } in
let {
$dFunctor_avTd :: Functor m
[LclId, Str=DmdType]
$dFunctor_avTd =
GHC.Base.$p1Applicative @ m $dApplicative_avTc } in
let {
$dFunctor_avTg :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avTg =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avTd } in
let {
$dApplicative_avTf :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avTf =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avTg $dFunctor_avTd $dMonad_avBA } in
let {
$dMonad_avTe :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avTe =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avTf $dMonad_avBA } in
let {
$dMonadState_avBE :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avBE =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avTe $dMonad_avBA } in
leqTo @ v @ c @ (StateT (LP v c) m) $dMonadState_avBE
Control/Monad/LPMonad/Internal.hs:125:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avSG :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avSG = GHC.Base.$p1Monad @ m $dMonad_avzI } in
let {
$dFunctor_avSH :: Functor m
[LclId, Str=DmdType]
$dFunctor_avSH =
GHC.Base.$p1Applicative @ m $dApplicative_avSG } in
equalTo'
@ v
@ c
@ (StateT (LP v c) m)
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avSH)
$dFunctor_avSH
$dMonad_avzI)
$dMonad_avzI)
$dMonad_avzI)
Orig lhs: let {
$dApplicative_avSG :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avSG = GHC.Base.$p1Monad @ m $dMonad_avzI } in
let {
$dFunctor_avSH :: Functor m
[LclId, Str=DmdType]
$dFunctor_avSH =
GHC.Base.$p1Applicative @ m $dApplicative_avSG } in
let {
$dFunctor_avSK :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avSK =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avSH } in
let {
$dApplicative_avSJ :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avSJ =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avSK $dFunctor_avSH $dMonad_avzI } in
let {
$dMonad_avSI :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avSI =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avSJ $dMonad_avzI } in
let {
$dMonadState_avzM :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avzM =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avSI $dMonad_avzI } in
equalTo' @ v @ c @ (StateT (LP v c) m) $dMonadState_avzM
Control/Monad/LPMonad/Internal.hs:127:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avSa :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avSa = GHC.Base.$p1Monad @ m $dMonad_avxQ } in
let {
$dFunctor_avSb :: Functor m
[LclId, Str=DmdType]
$dFunctor_avSb =
GHC.Base.$p1Applicative @ m $dApplicative_avSa } in
geqTo'
@ v
@ c
@ (StateT (LP v c) m)
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avSb)
$dFunctor_avSb
$dMonad_avxQ)
$dMonad_avxQ)
$dMonad_avxQ)
Orig lhs: let {
$dApplicative_avSa :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avSa = GHC.Base.$p1Monad @ m $dMonad_avxQ } in
let {
$dFunctor_avSb :: Functor m
[LclId, Str=DmdType]
$dFunctor_avSb =
GHC.Base.$p1Applicative @ m $dApplicative_avSa } in
let {
$dFunctor_avSe :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avSe =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avSb } in
let {
$dApplicative_avSd :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avSd =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avSe $dFunctor_avSb $dMonad_avxQ } in
let {
$dMonad_avSc :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avSc =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avSd $dMonad_avxQ } in
let {
$dMonadState_avxU :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avxU =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avSc $dMonad_avxQ } in
geqTo' @ v @ c @ (StateT (LP v c) m) $dMonadState_avxU
Control/Monad/LPMonad/Internal.hs:129:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avSq :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avSq = GHC.Base.$p1Monad @ m $dMonad_avyM } in
let {
$dFunctor_avSr :: Functor m
[LclId, Str=DmdType]
$dFunctor_avSr =
GHC.Base.$p1Applicative @ m $dApplicative_avSq } in
leqTo'
@ v
@ c
@ (StateT (LP v c) m)
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avSr)
$dFunctor_avSr
$dMonad_avyM)
$dMonad_avyM)
$dMonad_avyM)
Orig lhs: let {
$dApplicative_avSq :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avSq = GHC.Base.$p1Monad @ m $dMonad_avyM } in
let {
$dFunctor_avSr :: Functor m
[LclId, Str=DmdType]
$dFunctor_avSr =
GHC.Base.$p1Applicative @ m $dApplicative_avSq } in
let {
$dFunctor_avSu :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avSu =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avSr } in
let {
$dApplicative_avSt :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avSt =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avSu $dFunctor_avSr $dMonad_avyM } in
let {
$dMonad_avSs :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avSs =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avSt $dMonad_avyM } in
let {
$dMonadState_avyQ :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avyQ =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avSs $dMonad_avyM } in
leqTo' @ v @ c @ (StateT (LP v c) m) $dMonadState_avyQ
Control/Monad/LPMonad/Internal.hs:171:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avRS :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avRS = GHC.Base.$p1Monad @ m $dMonad_avwO } in
let {
$dFunctor_avRT :: Functor m
[LclId, Str=DmdType]
$dFunctor_avRT =
GHC.Base.$p1Applicative @ m $dApplicative_avRS } in
varEq
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avwM
$dOrd_avwN
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avRT)
$dFunctor_avRT
$dMonad_avwO)
$dMonad_avwO)
$dMonad_avwO)
Orig lhs: let {
$dApplicative_avRS :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avRS = GHC.Base.$p1Monad @ m $dMonad_avwO } in
let {
$dFunctor_avRT :: Functor m
[LclId, Str=DmdType]
$dFunctor_avRT =
GHC.Base.$p1Applicative @ m $dApplicative_avRS } in
let {
$dFunctor_avRW :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avRW =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avRT } in
let {
$dApplicative_avRV :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avRV =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avRW $dFunctor_avRT $dMonad_avwO } in
let {
$dMonad_avRU :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avRU =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avRV $dMonad_avwO } in
let {
$dEq_avRR :: Eq c
[LclId, Str=DmdType]
$dEq_avRR = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ c $dOrd_avwN } in
let {
$dEq_avRQ :: Eq v
[LclId, Str=DmdType]
$dEq_avRQ = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avwM } in
let {
$dMonadState_avwU :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avwU =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avRU $dMonad_avwO } in
let {
$dOrd_avwT :: Ord c
[LclId, Str=DmdType]
$dOrd_avwT = $dOrd_avwN } in
let {
$dOrd_avwS :: Ord v
[LclId, Str=DmdType]
$dOrd_avwS = $dOrd_avwM } in
varEq
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avwS
$dOrd_avwT
$dMonadState_avwU
Control/Monad/LPMonad/Internal.hs:173:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avRw :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avRw = GHC.Base.$p1Monad @ m $dMonad_avvr } in
let {
$dFunctor_avRx :: Functor m
[LclId, Str=DmdType]
$dFunctor_avRx =
GHC.Base.$p1Applicative @ m $dApplicative_avRw } in
varLeq
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avvp
$dOrd_avvq
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avRx)
$dFunctor_avRx
$dMonad_avvr)
$dMonad_avvr)
$dMonad_avvr)
Orig lhs: let {
$dApplicative_avRw :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avRw = GHC.Base.$p1Monad @ m $dMonad_avvr } in
let {
$dFunctor_avRx :: Functor m
[LclId, Str=DmdType]
$dFunctor_avRx =
GHC.Base.$p1Applicative @ m $dApplicative_avRw } in
let {
$dFunctor_avRA :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avRA =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avRx } in
let {
$dApplicative_avRz :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avRz =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avRA $dFunctor_avRx $dMonad_avvr } in
let {
$dMonad_avRy :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avRy =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avRz $dMonad_avvr } in
let {
$dEq_avRv :: Eq c
[LclId, Str=DmdType]
$dEq_avRv = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ c $dOrd_avvq } in
let {
$dEq_avRu :: Eq v
[LclId, Str=DmdType]
$dEq_avRu = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avvp } in
let {
$dMonadState_avvx :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avvx =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avRy $dMonad_avvr } in
let {
$dOrd_avvw :: Ord c
[LclId, Str=DmdType]
$dOrd_avvw = $dOrd_avvq } in
let {
$dOrd_avvv :: Ord v
[LclId, Str=DmdType]
$dOrd_avvv = $dOrd_avvp } in
varLeq
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avvv
$dOrd_avvw
$dMonadState_avvx
Control/Monad/LPMonad/Internal.hs:175:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avRa :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avRa = GHC.Base.$p1Monad @ m $dMonad_avu4 } in
let {
$dFunctor_avRb :: Functor m
[LclId, Str=DmdType]
$dFunctor_avRb =
GHC.Base.$p1Applicative @ m $dApplicative_avRa } in
varGeq
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avu2
$dOrd_avu3
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avRb)
$dFunctor_avRb
$dMonad_avu4)
$dMonad_avu4)
$dMonad_avu4)
Orig lhs: let {
$dApplicative_avRa :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avRa = GHC.Base.$p1Monad @ m $dMonad_avu4 } in
let {
$dFunctor_avRb :: Functor m
[LclId, Str=DmdType]
$dFunctor_avRb =
GHC.Base.$p1Applicative @ m $dApplicative_avRa } in
let {
$dFunctor_avRe :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avRe =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avRb } in
let {
$dApplicative_avRd :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avRd =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avRe $dFunctor_avRb $dMonad_avu4 } in
let {
$dMonad_avRc :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avRc =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avRd $dMonad_avu4 } in
let {
$dEq_avR9 :: Eq c
[LclId, Str=DmdType]
$dEq_avR9 = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ c $dOrd_avu3 } in
let {
$dEq_avR8 :: Eq v
[LclId, Str=DmdType]
$dEq_avR8 = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avu2 } in
let {
$dMonadState_avua :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avua =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avRc $dMonad_avu4 } in
let {
$dOrd_avu9 :: Ord c
[LclId, Str=DmdType]
$dOrd_avu9 = $dOrd_avu3 } in
let {
$dOrd_avu8 :: Ord v
[LclId, Str=DmdType]
$dOrd_avu8 = $dOrd_avu2 } in
varGeq
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avu8
$dOrd_avu9
$dMonadState_avua
Control/Monad/LPMonad/Internal.hs:185:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avQO :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avQO = GHC.Base.$p1Monad @ m $dMonad_avsH } in
let {
$dFunctor_avQP :: Functor m
[LclId, Str=DmdType]
$dFunctor_avQP =
GHC.Base.$p1Applicative @ m $dApplicative_avQO } in
varBds
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avsF
$dOrd_avsG
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avQP)
$dFunctor_avQP
$dMonad_avsH)
$dMonad_avsH)
$dMonad_avsH)
Orig lhs: let {
$dApplicative_avQO :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avQO = GHC.Base.$p1Monad @ m $dMonad_avsH } in
let {
$dFunctor_avQP :: Functor m
[LclId, Str=DmdType]
$dFunctor_avQP =
GHC.Base.$p1Applicative @ m $dApplicative_avQO } in
let {
$dFunctor_avQS :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avQS =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avQP } in
let {
$dApplicative_avQR :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avQR =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avQS $dFunctor_avQP $dMonad_avsH } in
let {
$dMonad_avQQ :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avQQ =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avQR $dMonad_avsH } in
let {
$dEq_avQN :: Eq c
[LclId, Str=DmdType]
$dEq_avQN = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ c $dOrd_avsG } in
let {
$dEq_avQM :: Eq v
[LclId, Str=DmdType]
$dEq_avQM = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avsF } in
let {
$dMonadState_avsN :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avsN =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avQQ $dMonad_avsH } in
let {
$dOrd_avsM :: Ord c
[LclId, Str=DmdType]
$dOrd_avsM = $dOrd_avsG } in
let {
$dOrd_avsL :: Ord v
[LclId, Str=DmdType]
$dOrd_avsL = $dOrd_avsF } in
varBds
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avsL
$dOrd_avsM
$dMonadState_avsN
Control/Monad/LPMonad/Internal.hs:193:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avQu :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avQu = GHC.Base.$p1Monad @ m $dMonad_avrq } in
let {
$dFunctor_avQv :: Functor m
[LclId, Str=DmdType]
$dFunctor_avQv =
GHC.Base.$p1Applicative @ m $dApplicative_avQu } in
constrain
@ v
@ c
@ (StateT (LP v c) m)
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avQv)
$dFunctor_avQv
$dMonad_avrq)
$dMonad_avrq)
$dMonad_avrq)
Orig lhs: let {
$dApplicative_avQu :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avQu = GHC.Base.$p1Monad @ m $dMonad_avrq } in
let {
$dFunctor_avQv :: Functor m
[LclId, Str=DmdType]
$dFunctor_avQv =
GHC.Base.$p1Applicative @ m $dApplicative_avQu } in
let {
$dFunctor_avQy :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avQy =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avQv } in
let {
$dApplicative_avQx :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avQx =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avQy $dFunctor_avQv $dMonad_avrq } in
let {
$dMonad_avQw :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avQw =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avQx $dMonad_avrq } in
let {
$dMonadState_avru :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avru =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avQw $dMonad_avrq } in
constrain @ v @ c @ (StateT (LP v c) m) $dMonadState_avru
Control/Monad/LPMonad/Internal.hs:201:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avQe :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avQe = GHC.Base.$p1Monad @ m $dMonad_avqg } in
let {
$dFunctor_avQf :: Functor m
[LclId, Str=DmdType]
$dFunctor_avQf =
GHC.Base.$p1Applicative @ m $dApplicative_avQe } in
constrain'
@ v
@ c
@ (StateT (LP v c) m)
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avQf)
$dFunctor_avQf
$dMonad_avqg)
$dMonad_avqg)
$dMonad_avqg)
Orig lhs: let {
$dApplicative_avQe :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avQe = GHC.Base.$p1Monad @ m $dMonad_avqg } in
let {
$dFunctor_avQf :: Functor m
[LclId, Str=DmdType]
$dFunctor_avQf =
GHC.Base.$p1Applicative @ m $dApplicative_avQe } in
let {
$dFunctor_avQi :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avQi =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avQf } in
let {
$dApplicative_avQh :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avQh =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avQi $dFunctor_avQf $dMonad_avqg } in
let {
$dMonad_avQg :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avQg =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avQh $dMonad_avqg } in
let {
$dMonadState_avqk :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avqk =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avQg $dMonad_avqg } in
constrain' @ v @ c @ (StateT (LP v c) m) $dMonadState_avqk
Control/Monad/LPMonad/Internal.hs:209:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avPY :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avPY = GHC.Base.$p1Monad @ m $dMonad_avp6 } in
let {
$dFunctor_avPZ :: Functor m
[LclId, Str=DmdType]
$dFunctor_avPZ =
GHC.Base.$p1Applicative @ m $dApplicative_avPY } in
setObjective
@ v
@ c
@ (StateT (LP v c) m)
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avPZ)
$dFunctor_avPZ
$dMonad_avp6)
$dMonad_avp6)
$dMonad_avp6)
Orig lhs: let {
$dApplicative_avPY :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avPY = GHC.Base.$p1Monad @ m $dMonad_avp6 } in
let {
$dFunctor_avPZ :: Functor m
[LclId, Str=DmdType]
$dFunctor_avPZ =
GHC.Base.$p1Applicative @ m $dApplicative_avPY } in
let {
$dFunctor_avQ2 :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avQ2 =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avPZ } in
let {
$dApplicative_avQ1 :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avQ1 =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avQ2 $dFunctor_avPZ $dMonad_avp6 } in
let {
$dMonad_avQ0 :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avQ0 =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avQ1 $dMonad_avp6 } in
let {
$dMonadState_avpa :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avpa =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avQ0 $dMonad_avp6 } in
setObjective @ v @ c @ (StateT (LP v c) m) $dMonadState_avpa
Control/Monad/LPMonad/Internal.hs:216:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avPe :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avPe = GHC.Base.$p1Monad @ m $dMonad_avmi } in
let {
$dFunctor_avPf :: Functor m
[LclId, Str=DmdType]
$dFunctor_avPf =
GHC.Base.$p1Applicative @ m $dApplicative_avPe } in
addObjective
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avmg
$dGroup_avmh
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avPf)
$dFunctor_avPf
$dMonad_avmi)
$dMonad_avmi)
$dMonad_avmi)
Orig lhs: let {
$dApplicative_avPe :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avPe = GHC.Base.$p1Monad @ m $dMonad_avmi } in
let {
$dFunctor_avPf :: Functor m
[LclId, Str=DmdType]
$dFunctor_avPf =
GHC.Base.$p1Applicative @ m $dApplicative_avPe } in
let {
$dFunctor_avPi :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avPi =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avPf } in
let {
$dApplicative_avPh :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avPh =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avPi $dFunctor_avPf $dMonad_avmi } in
let {
$dMonad_avPg :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avPg =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avPh $dMonad_avmi } in
let {
$dEq_avPd :: Eq v
[LclId, Str=DmdType]
$dEq_avPd = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avmg } in
let {
$dMonadState_avmo :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avmo =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avPg $dMonad_avmi } in
let {
$dGroup_avmn :: Group c
[LclId, Str=DmdType]
$dGroup_avmn = $dGroup_avmh } in
let {
$dOrd_avmm :: Ord v
[LclId, Str=DmdType]
$dOrd_avmm = $dOrd_avmg } in
addObjective
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avmm
$dGroup_avmn
$dMonadState_avmo
Control/Monad/LPMonad/Internal.hs:223:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avPE :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avPE = GHC.Base.$p1Monad @ m $dMonad_avnV } in
let {
$dFunctor_avPF :: Functor m
[LclId, Str=DmdType]
$dFunctor_avPF =
GHC.Base.$p1Applicative @ m $dApplicative_avPE } in
addWeightedObjective
@ r
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avnT
$dModule_avnU
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avPF)
$dFunctor_avPF
$dMonad_avnV)
$dMonad_avnV)
$dMonad_avnV)
Orig lhs: let {
$dApplicative_avPE :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avPE = GHC.Base.$p1Monad @ m $dMonad_avnV } in
let {
$dFunctor_avPF :: Functor m
[LclId, Str=DmdType]
$dFunctor_avPF =
GHC.Base.$p1Applicative @ m $dApplicative_avPE } in
let {
$dFunctor_avPI :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avPI =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avPF } in
let {
$dApplicative_avPH :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avPH =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avPI $dFunctor_avPF $dMonad_avnV } in
let {
$dMonad_avPG :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avPG =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avPH $dMonad_avnV } in
let {
$dGroup_avPC :: Group c
[LclId, Str=DmdType]
$dGroup_avPC =
Data.Algebra.Module.$p2Module @ r @ c $dModule_avnU } in
let {
$dRing_avPB :: Ring r
[LclId, Str=DmdType]
$dRing_avPB =
Data.Algebra.Module.$p1Module @ r @ c $dModule_avnU } in
let {
$dGroup_avPD :: Group r
[LclId, Str=DmdType]
$dGroup_avPD = Data.Algebra.Ring.$p1Ring @ r $dRing_avPB } in
let {
$dEq_avPA :: Eq v
[LclId, Str=DmdType]
$dEq_avPA = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avnT } in
let {
$dMonadState_avo2 :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avo2 =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avPG $dMonad_avnV } in
let {
$dModule_avo1 :: Module r c
[LclId, Str=DmdType]
$dModule_avo1 = $dModule_avnU } in
let {
$dOrd_avo0 :: Ord v
[LclId, Str=DmdType]
$dOrd_avo0 = $dOrd_avnT } in
addWeightedObjective
@ r
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avo0
$dModule_avo1
$dMonadState_avo2
Control/Monad/LPMonad/Internal.hs:230:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avOU :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avOU = GHC.Base.$p1Monad @ m $dMonad_avkI } in
let {
$dFunctor_avOV :: Functor m
[LclId, Str=DmdType]
$dFunctor_avOV =
GHC.Base.$p1Applicative @ m $dApplicative_avOU } in
setVarBounds
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avkG
$dOrd_avkH
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avOV)
$dFunctor_avOV
$dMonad_avkI)
$dMonad_avkI)
$dMonad_avkI)
Orig lhs: let {
$dApplicative_avOU :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avOU = GHC.Base.$p1Monad @ m $dMonad_avkI } in
let {
$dFunctor_avOV :: Functor m
[LclId, Str=DmdType]
$dFunctor_avOV =
GHC.Base.$p1Applicative @ m $dApplicative_avOU } in
let {
$dFunctor_avOY :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avOY =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avOV } in
let {
$dApplicative_avOX :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avOX =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avOY $dFunctor_avOV $dMonad_avkI } in
let {
$dMonad_avOW :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avOW =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avOX $dMonad_avkI } in
let {
$dEq_avOT :: Eq c
[LclId, Str=DmdType]
$dEq_avOT = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ c $dOrd_avkH } in
let {
$dEq_avOS :: Eq v
[LclId, Str=DmdType]
$dEq_avOS = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avkG } in
let {
$dMonadState_avkO :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avkO =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avOW $dMonad_avkI } in
let {
$dOrd_avkN :: Ord c
[LclId, Str=DmdType]
$dOrd_avkN = $dOrd_avkH } in
let {
$dOrd_avkM :: Ord v
[LclId, Str=DmdType]
$dOrd_avkM = $dOrd_avkG } in
setVarBounds
@ v
@ c
@ (StateT (LP v c) m)
$dOrd_avkM
$dOrd_avkN
$dMonadState_avkO
Control/Monad/LPMonad/Internal.hs:240:1: Warning:
RULE left-hand side too complicated to desugar
Optimised lhs: let {
$dApplicative_avOz :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avOz = GHC.Base.$p1Monad @ m $dMonad_avj6 } in
let {
$dFunctor_avOA :: Functor m
[LclId, Str=DmdType]
$dFunctor_avOA =
GHC.Base.$p1Applicative @ m $dApplicative_avOz } in
setVarKind
@ v
@ (StateT (LP v c) m)
@ c
$dOrd_avj5
(Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c)
@ m
(transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avOA)
$dFunctor_avOA
$dMonad_avj6)
$dMonad_avj6)
$dMonad_avj6)
Orig lhs: let {
$dApplicative_avOz :: Applicative m
[LclId, Str=DmdType]
$dApplicative_avOz = GHC.Base.$p1Monad @ m $dMonad_avj6 } in
let {
$dFunctor_avOA :: Functor m
[LclId, Str=DmdType]
$dFunctor_avOA =
GHC.Base.$p1Applicative @ m $dApplicative_avOz } in
let {
$dFunctor_avOD :: Functor (StateT (LP v c) m)
[LclId, Str=DmdType]
$dFunctor_avOD =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fFunctorStateT
@ (LP v c) @ m $dFunctor_avOA } in
let {
$dApplicative_avOC :: Applicative (StateT (LP v c) m)
[LclId, Str=DmdType]
$dApplicative_avOC =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fApplicativeStateT
@ (LP v c) @ m $dFunctor_avOD $dFunctor_avOA $dMonad_avj6 } in
let {
$dMonad_avOB :: Monad (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonad_avOB =
transformers-0.4.2.0:Control.Monad.Trans.State.Strict.$fMonadStateT
@ (LP v c) @ m $dApplicative_avOC $dMonad_avj6 } in
let {
$dEq_avOy :: Eq v
[LclId, Str=DmdType]
$dEq_avOy = ghc-prim-0.4.0.0:GHC.Classes.$p1Ord @ v $dOrd_avj5 } in
let {
$dMonadState_avjb :: MonadState (LP v c) (StateT (LP v c) m)
[LclId, Str=DmdType]
$dMonadState_avjb =
Control.Monad.State.Class.$fMonadStatesStateT
@ (LP v c) @ m $dMonad_avOB $dMonad_avj6 } in
let {
$dOrd_avja :: Ord v
[LclId, Str=DmdType]
$dOrd_avja = $dOrd_avj5 } in
setVarKind
@ v @ (StateT (LP v c) m) @ c $dOrd_avja $dMonadState_avjb
[14 of 21] Compiling Data.LinearProgram.GLPK.Internal ( Data/LinearProgram/GLPK/Internal.hs, dist/build/Data/LinearProgram/GLPK/Internal.o )
Data/LinearProgram/GLPK/Internal.hs:3:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:40:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:49:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:49:12: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:50:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:50:12: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:69:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:69:13: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:70:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:70:17: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:71:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:71:17: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:72:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:72:18: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:73:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:73:14: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:82:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:83:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:84:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:85:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:86:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:86:14: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:99:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:100:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:101:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:102:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:102:14: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:120:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:122:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:123:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:124:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:124:14: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:125:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:126:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:127:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:128:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:129:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:130:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:131:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:132:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:133:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:134:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:135:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:150:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:153:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:154:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:155:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:156:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:157:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:158:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:158:22: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:159:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:160:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:161:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:162:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:164:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:165:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:166:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:167:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:168:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:169:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:170:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:170:14: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:171:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:172:1: Warning: Tab character
Data/LinearProgram/GLPK/Internal.hs:173:1: Warning: Tab character
[15 of 21] Compiling Data.LinearProgram.GLPK.Common ( Data/LinearProgram/GLPK/Common.hs, dist/build/Data/LinearProgram/GLPK/Common.o )
Data/LinearProgram/GLPK/Common.hs:2:1: Warning: Tab character
Data/LinearProgram/GLPK/Common.hs:3:1: Warning: Tab character
Data/LinearProgram/GLPK/Common.hs:4:1: Warning: Tab character
Data/LinearProgram/GLPK/Common.hs:5:1: Warning: Tab character
Data/LinearProgram/GLPK/Common.hs:6:1: Warning: Tab character
[16 of 21] Compiling Data.LinearProgram.GLPK.Solver ( Data/LinearProgram/GLPK/Solver.hs, dist/build/Data/LinearProgram/GLPK/Solver.o )
Data/LinearProgram/GLPK/Solver.hs:15:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:16:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:17:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:18:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:19:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:20:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:21:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:22:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:23:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:24:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:25:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:26:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:27:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:28:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:29:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:40:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:41:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:42:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:43:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:44:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:45:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:54:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:59:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:60:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:61:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:62:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:63:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:64:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:65:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:66:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:68:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:69:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:70:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:71:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:72:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:73:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:74:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:75:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:78:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:79:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:85:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:86:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:87:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:88:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:89:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:90:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:91:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:92:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:93:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:94:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:96:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:97:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:98:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:99:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:100:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:101:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:102:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:103:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:104:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:105:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:108:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:111:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:112:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:113:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:114:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:116:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:117:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:118:1: Warning: Tab character
Data/LinearProgram/GLPK/Solver.hs:119:1: Warning: Tab character
[17 of 21] Compiling Data.LinearProgram.GLPK.IO.Internal ( Data/LinearProgram/GLPK/IO/Internal.hs, dist/build/Data/LinearProgram/GLPK/IO/Internal.o )
Data/LinearProgram/GLPK/IO/Internal.hs:50:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:50:25: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:51:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:51:20: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:77:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:79:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:80:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:81:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:81:18: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:82:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:82:18: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:83:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:83:18: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:84:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:84:18: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:85:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:85:18: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:86:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:91:13: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:92:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:93:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:94:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:95:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:96:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:97:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:98:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:99:1: Warning: Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:100:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:104:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:105:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:106:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:107:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:108:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:109:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:110:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:111:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:112:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:113:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:114:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:115:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:116:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:117:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:118:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:119:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:120:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:121:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:122:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:123:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:124:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:125:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:126:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:127:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:131:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:132:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:133:1: Warning:
Tab character
Data/LinearProgram/GLPK/IO/Internal.hs:134:1: Warning:
Tab character
[18 of 21] Compiling Data.LinearProgram.GLPK.IO ( Data/LinearProgram/GLPK/IO.hs, dist/build/Data/LinearProgram/GLPK/IO.o )
[19 of 21] Compiling Data.LinearProgram.GLPK ( Data/LinearProgram/GLPK.hs, dist/build/Data/LinearProgram/GLPK.o )
Data/LinearProgram/GLPK.hs:3:1: Warning: Tab character
Data/LinearProgram/GLPK.hs:4:1: Warning: Tab character
Data/LinearProgram/GLPK.hs:5:1: Warning: Tab character
[20 of 21] Compiling Control.Monad.LPMonad ( Control/Monad/LPMonad.hs, dist/build/Control/Monad/LPMonad.o )
Control/Monad/LPMonad.hs:13:1: Warning: Tab character
Control/Monad/LPMonad.hs:14:1: Warning: Tab character
Control/Monad/LPMonad.hs:15:1: Warning: Tab character
Control/Monad/LPMonad.hs:16:1: Warning: Tab character
Control/Monad/LPMonad.hs:17:1: Warning: Tab character
Control/Monad/LPMonad.hs:18:1: Warning: Tab character
Control/Monad/LPMonad.hs:19:1: Warning: Tab character
Control/Monad/LPMonad.hs:20:1: Warning: Tab character
Control/Monad/LPMonad.hs:21:1: Warning: Tab character
Control/Monad/LPMonad.hs:22:1: Warning: Tab character
Control/Monad/LPMonad.hs:23:1: Warning: Tab character
Control/Monad/LPMonad.hs:24:1: Warning: Tab character
Control/Monad/LPMonad.hs:25:1: Warning: Tab character
Control/Monad/LPMonad.hs:26:1: Warning: Tab character
Control/Monad/LPMonad.hs:42:1: Warning: Tab character
Control/Monad/LPMonad.hs:44:1: Warning: Tab character
Control/Monad/LPMonad.hs:48:1: Warning: Tab character
Control/Monad/LPMonad.hs:64:1: Warning: Tab character
Control/Monad/LPMonad.hs:73:1: Warning: Tab character
Control/Monad/LPMonad.hs:80:1: Warning: Tab character
Control/Monad/LPMonad.hs:90:1: Warning: Tab character
Control/Monad/LPMonad.hs:97:1: Warning: Tab character
[21 of 21] Compiling Data.LinearProgram ( Data/LinearProgram.hs, dist/build/Data/LinearProgram.o )
Data/LinearProgram.hs:2:1: Warning: Tab character
Data/LinearProgram.hs:3:1: Warning: Tab character
Data/LinearProgram.hs:4:1: Warning: Tab character
In-place registering glpk-hs-0.3.5...
Running Haddock for glpk-hs-0.3.5...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file:
/tmp/pkgConf-glpk-hs-0.31600515282040332871.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/glpk-hs-0.3.5-B01S0pK8b0FFTc8N5BvBe2
Registering glpk-hs-0.3.5...
Installed glpk-hs-0.3.5
Test log
No test log was submitted for this report.