Error in types.hs about lamdu HOT 8 CLOSED

Also fails on GHC 7.8.4:

Lamdu/Sugar/Types/Internal.hs:43:24: Warning:
    In the use of type constructor or class ‘Typeable1’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"
[18 of 77] Compiling Lamdu.Sugar.Types ( Lamdu/Sugar/Types.hs, dist/dist-sandbox-7230062d/build/lamdu/lamdu-tmp/Lamdu/Sugar/Types.o )

Lamdu/Sugar/Types.hs:491:1:
    The second argument of ‘Scope’ should have kind ‘* -> *’,
      but ‘m_1628154822’ has kind ‘*’
    In the instance declaration for
      ‘Monoid (Scope name_1628154821 m_1628154822)’

from lamdu.

Also fails on GHC 7.4.1 (stock in Ubuntu 12.04):

Lamdu/Sugar/Types.hs:491:1:
    Kind mis-match
    The second argument of `Scope' should have kind `* -> *',
    but `m_1627725804' has kind `*'
    In the instance declaration for `Monoid (Scope name_1627725803 m_1627725804)'

Which version do developers use?

from lamdu.

Stick poking method revealed that the problem is in derive 2.5.19 dependency. Pull request incoming.

from lamdu.

Thanks for the support, we appreciate your intentions but the current
branch is wip_integration which iirc doesn't depend on derive.

Will be merged to master soon...
On Jan 24, 2015 7:23 PM, "Sergey Shepelev" [email protected] wrote:

Stick poking method revealed that the problem is in derive 2.5.19
dependency. Pull request incoming.

—
Reply to this email directly or view it on GitHub
#27 (comment).

from lamdu.

Maybe a bit redundant by now but i also test with GHC 7.6.3 and same error on there.

@Peaker are you saying that the wip_integration branch is the one new users should use? In the tutorial there is no mention of downloading lamdu so i assumed git clone the master branch before doing the cabal install

from lamdu.

On the wip_integration branch

» cabal install
Resolving dependencies...
Configuring lamdu-ide-0.1...
Building lamdu-ide-0.1...
Failed to install lamdu-ide-0.1
Build log ( /home/flip111/.cabal/logs/lamdu-ide-0.1.log ):
Configuring lamdu-ide-0.1...
Building lamdu-ide-0.1...
Preprocessing library lamdu-ide-0.1...
setup-Simple-Cabal-1.22.0.0-x86_64-linux-ghc-7.8.3: can't find source for
Data/Map/Utils in bottlelib, submodules/AlgoW, dist/build/autogen
cabal: Error: some packages failed to install:
lamdu-ide-0.1 failed during the building phase. The exception was:
ExitFailure 1

from lamdu.

There's a submodule there, you need to git submodule update --init
On Jan 25, 2015 12:16 AM, "flip111" [email protected] wrote:

On the wip_integration branch

» cabal install
Resolving dependencies...
Configuring lamdu-ide-0.1...
Building lamdu-ide-0.1...
Failed to install lamdu-ide-0.1
Build log ( /home/flip111/.cabal/logs/lamdu-ide-0.1.log ):
Configuring lamdu-ide-0.1...
Building lamdu-ide-0.1...
Preprocessing library lamdu-ide-0.1...
setup-Simple-Cabal-1.22.0.0-x86_64-linux-ghc-7.8.3: can't find source for
Data/Map/Utils in bottlelib, submodules/AlgoW, dist/build/autogen
cabal: Error: some packages failed to install:
lamdu-ide-0.1 failed during the building phase. The exception was:
ExitFailure 1

—
Reply to this email directly or view it on GitHub
#27 (comment).

from lamdu.

wip_integration has been merged to master, master should work now (though it requires a fork of graphics-drawingcombinators at the moment)

from lamdu.