blockscope / plugins-for-blobs Goto Github PK

Plugins for helping GHC type check units of measure.

License: Mozilla Public License 2.0

Haskell 3.36% Nix 0.01% Dhall 0.51% Shell 0.04% SMT 96.07%

plugins-for-blobs's Issues

One multiple library package

We have one project with many packages. Could we put these all in the one multiple library package?

-- cabal.project
packages:
    simple-smt
    ghc-tcplugins-trace/ghc-tcplugins-trace
    thoralf-theory
    thoralf-encode
    thoralf-plugin
    thoralf-plugin-rows
    thoralf-plugin-uom
    thoralf-plugin-defs
    uom-quantity
    uom-plugin
    uom-plugin-defs
    uom-plugin-tutorial
    uom-plugin-examples
    uom-th
    build
tests: True
write-ghc-environment-files: always

Fail core-lint of `Unpack (Base "m") ~# ('["m"] ':/ '[])`

If I add core linting to the test-suite uom-plugin:units then I get errors.

> cabal test uom-plugin:units --test-show-details=always --test-options="--color always"
...
*** Core Lint errors : in result of Desugar (before optimization) ***
<no location info>: warning:
    Non-CoVar has coercion type co_a88o :: Unpack (Base "m")
                                           ~# ('["m"] ':/ '[])
    Substitution: [TCvSubst
                     In scope: InScope {}
                     Type env: []
                     Co env: []]

Recommend Projects