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
I've tried ghci with RecordDotPreprocessor (0.2.6) on GNU/Linux, but it doesn't seem to work at all (doesn't fail to load though):
‰ ghci -ignore-dot-ghci -fplugin=RecordDotPreprocessor -XOverloadedStrings -XFlexibleInstances -XIncoherentInstances -XMagicHash -XBangPatterns -XFlexibleContexts -XTypeApplications -XDeriveGeneric -XScopedTypeVariables -XDuplicateRecordFields -XDataKinds -XMultiParamTypeClasses -XTypeSynonymInstances
GHCi, version 8.10.1: https://www.haskell.org/ghc/ :? for help
Prelude> data A = A {a::Int}
Prelude> (A 666).a
<interactive>:2:2: error:
• Couldn't match expected type ‘Int -> c’ with actual type ‘A’
• Possible cause: ‘A’ is applied to too many arguments
In the first argument of ‘(.)’, namely ‘(A 666)’
In the expression: (A 666) . a
In an equation for ‘it’: it = (A 666) . a
• Relevant bindings include
it :: A -> c (bound at <interactive>:2:1)
Prelude> :t (.a)
(.a) :: (Int -> c) -> A -> c
The text was updated successfully, but these errors were encountered:
Does it work with those definitions in a file? It may well be that plugins aren't applied in the ghci prompt, which wouldn't be too surprising (I've never checked either way, and on Windows, it doesn't work at all). To get that fixed would require GHC to adjust how plugins work - feel free to raise a GHC feature request.
I've tried ghci with RecordDotPreprocessor (0.2.6) on GNU/Linux, but it doesn't seem to work at all (doesn't fail to load though):
The text was updated successfully, but these errors were encountered: