search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 479 forks source link

Profiling builds broken under cabal #1025

Closed vmchale closed 5 years ago

vmchale commented 5 years ago

As of now, running cabal new-build all -p --enable-profiling fails with

GHC Core to PLC plugin: Error: Error from the PLC compiler:
       Free type variable: Unit_50

cc @michaelpj

vmchale commented 5 years ago

Happens with stack too:

    Configuring plutus-tutorial-0.1.0.0...
    Warning: Packages using 'cabal-version: >= 1.10' must specify the
    'default-language' field for each component (e.g. Haskell98 or Haskell2010).
    If a component uses different languages in different modules then list the
    other ones in the 'other-languages' field.
    Preprocessing library for plutus-tutorial-0.1.0.0..
    Building library for plutus-tutorial-0.1.0.0..
    [1 of 8] Compiling Tutorial.ExUtil  ( tutorial/Tutorial/ExUtil.hs, .stack-work/dist/x86_64-linux-tinfo6/Cabal-2.4.0.1/build/Tutorial/ExUtil.p_o )
    [2 of 8] Compiling Tutorial.Solutions0 ( tutorial/Tutorial/Solutions0.hs, .stack-work/dist/x86_64-linux-tinfo6/Cabal-2.4.0.1/build/Tutorial/Solutions0.p_o )
    GHC Core to PLC plugin: Error: Error from the PLC compiler:
           Free type variable: Unit_50
    Context: Converting expr at "plutus-tutorial-0.1.0.0-2IUX5Vtrf4g9X0H41SgcOY:Tutorial.Solutions0:(100,39)-(197,50)"
michaelpj commented 5 years ago

On it.