Describe the bug
It is currently impossible to use Word in a module using Prelude.Linear as prelude, because instances for Additive, Multiplicative, AddIdentity, MultIdentity, AdditiveGroup, Semiring, Ring, FromInteger and Num are missing for Word:
To Reproduce
{-# LANGUAGE NoImplicitPrelude #-}
module Example where
import Prelude.Linear
add1 :: Word %1 -> Word
add1 = (+ 1)
Expected behavior
This should compile.
Actual behavior
Compile error: No instance for (Additive Word) arising from the use of '+'.
Describe the bug
It is currently impossible to use
Wordin a module usingPrelude.Linearas prelude, because instances for Additive, Multiplicative, AddIdentity, MultIdentity, AdditiveGroup, Semiring, Ring, FromInteger and Num are missing forWord:To Reproduce
{-# LANGUAGE NoImplicitPrelude #-} module Example where import Prelude.Linear add1 :: Word %1 -> Word add1 = (+ 1)Expected behavior
This should compile.
Actual behavior
Compile error:
No instance for (Additive Word) arising from the use of '+'.