We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
forall proxy. proxy sym
1 parent 05cc6ba commit 5a31dfdCopy full SHA for 5a31dfd
src/Data/Symbol.purs
@@ -12,7 +12,7 @@ data SProxy (sym :: Symbol) = SProxy
12
13
-- | A class for known symbols
14
class IsSymbol (sym :: Symbol) where
15
- reflectSymbol :: Proxy sym -> String
+ reflectSymbol :: forall proxy. proxy sym -> String
16
17
-- local definition for use in `reifySymbol`
18
foreign import unsafeCoerce :: forall a b. a -> b
0 commit comments