Advertisement
Guest User

Untitled

a guest
Apr 28th, 2017
78
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 4.33 KB | None | 0 0
  1. cabal new-build
  2. ...
  3. [12 of 13] Compiling Wires.Game ( Wires/Game.hs, /Users/csaba/Haskell/hs-quake-3/dist-newstyle/build/quake3-bsp-viewer-0.1.0.0/build/quake3-bsp-viewer/quake3-bsp-viewer-tmp/Wires/Game.o )
  4.  
  5. Wires/Game.hs:131:11: error:
  6. • Couldn't match type ‘f’ with ‘(->) Double’
  7. ‘f’ is a rigid type variable bound by
  8. the type signature for:
  9. game :: forall (f :: * -> *) a t.
  10. (Monoid (f (GLIO a)), Functor f) =>
  11. BSPFile
  12. -> [GLuint]
  13. -> Map.Map Parser.Texture (Maybe GLObjects.Texture -> f a)
  14. -> UniformLocation
  15. -> Wire IO t (Event (Double, Viewport (f (GLIO a))), Event ())
  16. at Wires/Game.hs:62:6
  17. Expected type: IntMap.IntMap (Double -> GLIO a)
  18. Actual type: IntMap.IntMap (f (GLIO a))
  19. • In the third argument of ‘IntMap.foldlWithKey'’, namely
  20. ‘clusters’
  21. In the expression:
  22. IntMap.foldlWithKey'
  23. (\ s clusterNumber clusterScene
  24. -> if clusterVisible
  25. (bspVisData bspFile)
  26. (fromIntegral currentCluster)
  27. (fromIntegral clusterNumber) then
  28. clusterScene tGame <> s
  29. else
  30. s)
  31. mempty
  32. clusters
  33. In an equation for ‘scene’:
  34. scene
  35. = IntMap.foldlWithKey'
  36. (\ s clusterNumber clusterScene
  37. -> if clusterVisible
  38. (bspVisData bspFile)
  39. (fromIntegral currentCluster)
  40. (fromIntegral clusterNumber) then
  41. clusterScene tGame <> s
  42. else
  43. s)
  44. mempty
  45. clusters
  46. • Relevant bindings include
  47. clusters :: IntMap.IntMap (f (GLIO a))
  48. (bound at Wires/Game.hs:145:3)
  49. compiledShaders :: Map.Map
  50. Parser.Texture (Maybe GLObjects.Texture -> f a)
  51. (bound at Wires/Game.hs:68:24)
  52. game :: BSPFile
  53. -> [GLuint]
  54. -> Map.Map Parser.Texture (Maybe GLObjects.Texture -> f a)
  55. -> UniformLocation
  56. -> Wire IO t (Event (Double, Viewport (f (GLIO a))), Event ())
  57. (bound at Wires/Game.hs:68:1)
  58.  
  59. Wires/Game.hs:137:16: error:
  60. • Couldn't match type ‘a’ with ‘GLIO a’
  61. ‘a’ is a rigid type variable bound by
  62. the type signature for:
  63. game :: forall (f :: * -> *) a t.
  64. (Monoid (f (GLIO a)), Functor f) =>
  65. BSPFile
  66. -> [GLuint]
  67. -> Map.Map Parser.Texture (Maybe GLObjects.Texture -> f a)
  68. -> UniformLocation
  69. -> Wire IO t (Event (Double, Viewport (f (GLIO a))), Event ())
  70. at Wires/Game.hs:62:6
  71. Expected type: Event (Double, Viewport (f (GLIO a)))
  72. Actual type: Event (Double, Viewport (GLIO a))
  73. • In the expression:
  74. (tGame, viewport (0, 0, windowWidth, windowHeight) scene)
  75. <$ rendered
  76. In the expression:
  77. ((tGame, viewport (0, 0, windowWidth, windowHeight) scene)
  78. <$ rendered,
  79. Control.Monad.void
  80. $ filterJust $ fmap (preview (payload . _KeyboardEvent)) sdlEvent)
  81. In the command: returnA -< ((tGame,
  82. viewport (0, 0, windowWidth, windowHeight) scene)
  83. <$ rendered,
  84. Control.Monad.void
  85. $ filterJust $ fmap (preview (payload . _KeyboardEvent)) sdlEvent)
  86. • Relevant bindings include
  87. scene :: GLIO a (bound at Wires/Game.hs:122:7)
  88. clusters :: IntMap.IntMap (f (GLIO a))
  89. (bound at Wires/Game.hs:145:3)
  90. compiledShaders :: Map.Map
  91. Parser.Texture (Maybe GLObjects.Texture -> f a)
  92. (bound at Wires/Game.hs:68:24)
  93. game :: BSPFile
  94. -> [GLuint]
  95. -> Map.Map Parser.Texture (Maybe GLObjects.Texture -> f a)
  96. -> UniformLocation
  97. -> Wire IO t (Event (Double, Viewport (f (GLIO a))), Event ())
  98. (bound at Wires/Game.hs:68:1)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement