-
Notifications
You must be signed in to change notification settings - Fork 14
Closed
Description
I'm getting:
[4 of 4] Compiling Data.Constraint.Extras.TH ( src/Data/Constraint/Extras/TH.hs, dist/build/Data/Constraint/Extras/TH.o, dist/build/Data/Constraint/Extras/TH.dyn_o )
src/Data/Constraint/Extras/TH.hs:55:22: error:
• Couldn't match expected type ‘Pat’
with actual type ‘[Pat] -> Pat’
• Probable cause: ‘ConP’ is applied to too few arguments
In the first argument of ‘Match’, namely ‘(ConP name pat)’
In the expression:
Match
(ConP name pat) (NormalB $ AppE (VarE argDictName) (VarE v)) []
In the expression:
[Match
(ConP name pat) (NormalB $ AppE (VarE argDictName) (VarE v)) []]
|
55 | in [Match (ConP name pat) (NormalB $ AppE (VarE argDictName) (VarE v)) []]
| ^^^^^^^^^^^^^
src/Data/Constraint/Extras/TH.hs:55:32: error:
• Couldn't match type ‘Pat’ with ‘Type’
Expected: [Type]
Actual: [Pat]
• In the second argument of ‘ConP’, namely ‘pat’
In the first argument of ‘Match’, namely ‘(ConP name pat)’
In the expression:
Match
(ConP name pat) (NormalB $ AppE (VarE argDictName) (VarE v)) []
|
55 | in [Match (ConP name pat) (NormalB $ AppE (VarE argDictName) (VarE v)) []]
|
Perhaps might want to switch via CPP on the TH version and treat the constructors differently.
michaelpj
Metadata
Metadata
Assignees
Labels
No labels