You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Consider this example:
package dep has those two modules:
module Dep where
type (&) a b = (a, b)
``
module DepReexport
(module Dep)
where
import Dep
package `main` depends on `dep` via a `data-dependency`
This fails with
.daml/package-database/1.14/dep-0.0.1-71ebdf0c0009585fa8f6d6de8c841366c209fd2c66e2e4c5932c1d826658ad34/DepReexport.daml:10:29:
error:
Expecting a type constructor but found a variable, ‘Dep.&’.
If ‘Dep.&’ is a type constructor then enable ExplicitNamespaces and use the 'type' keyword.
We should do exactly what the error suggests and enamle ExplicitNameSpaces and use `type`.
Probably worth testing for both synonyms and type constructors.
The text was updated successfully, but these errors were encountered:
Consider this example:
package
dep
has those two modules:``
module DepReexport
(module Dep)
where
import Dep
.daml/package-database/1.14/dep-0.0.1-71ebdf0c0009585fa8f6d6de8c841366c209fd2c66e2e4c5932c1d826658ad34/DepReexport.daml:10:29:
error:
Expecting a type constructor but found a variable, ‘Dep.&’.
If ‘Dep.&’ is a type constructor then enable ExplicitNamespaces and use the 'type' keyword.
The text was updated successfully, but these errors were encountered: