@@ -114,29 +114,29 @@ unify' nm root x y
114
114
| Just (x, y) <- cast (x, y) = if (x :: FastString ) == y then Just mempty else Nothing
115
115
116
116
-- We need some type magic to reduce this.
117
- | Just (x :: EpAnn AnnsModule ) <- cast x = Just mempty
118
- | Just (x :: EpAnn NameAnn ) <- cast x = Just mempty
119
- | Just (x :: EpAnn AnnListItem ) <- cast x = Just mempty
120
- | Just (x :: EpAnn AnnList ) <- cast x = Just mempty
121
- | Just (x :: EpAnn AnnPragma ) <- cast x = Just mempty
122
- | Just (x :: EpAnn AnnContext ) <- cast x = Just mempty
123
- | Just (x :: EpAnn AnnParen ) <- cast x = Just mempty
124
117
| Just (x :: EpAnn Anchor ) <- cast x = Just mempty
125
- | Just (x :: EpAnn NoEpAnns ) <- cast x = Just mempty
126
- | Just (x :: EpAnn GrhsAnn ) <- cast x = Just mempty
127
- | Just (x :: EpAnn [AddEpAnn ]) <- cast x = Just mempty
128
- | Just (x :: EpAnn EpAnnHsCase ) <- cast x = Just mempty
129
- | Just (x :: EpAnn EpAnnUnboundVar ) <- cast x = Just mempty
118
+ | Just (x :: EpAnn AnnContext ) <- cast x = Just mempty
130
119
| Just (x :: EpAnn AnnExplicitSum ) <- cast x = Just mempty
120
+ | Just (x :: EpAnn AnnFieldLabel ) <- cast x = Just mempty
121
+ | Just (x :: EpAnn AnnList ) <- cast x = Just mempty
122
+ | Just (x :: EpAnn AnnListItem ) <- cast x = Just mempty
123
+ | Just (x :: EpAnn AnnParen ) <- cast x = Just mempty
124
+ | Just (x :: EpAnn AnnPragma ) <- cast x = Just mempty
131
125
| Just (x :: EpAnn AnnProjection ) <- cast x = Just mempty
126
+ | Just (x :: EpAnn AnnsIf ) <- cast x = Just mempty
127
+ | Just (x :: EpAnn AnnSig ) <- cast x = Just mempty
128
+ | Just (x :: EpAnn AnnsModule ) <- cast x = Just mempty
132
129
| Just (x :: EpAnn EpaLocation ) <- cast x = Just mempty
133
- | Just (x :: EpAnn AnnFieldLabel ) <- cast x = Just mempty
130
+ | Just (x :: EpAnn EpAnnHsCase ) <- cast x = Just mempty
131
+ | Just (x :: EpAnn EpAnnImportDecl ) <- cast x = Just mempty
134
132
| Just (x :: EpAnn EpAnnSumPat ) <- cast x = Just mempty
135
- | Just (x :: EpAnn AnnSig ) <- cast x = Just mempty
133
+ | Just (x :: EpAnn EpAnnUnboundVar ) <- cast x = Just mempty
134
+ | Just (x :: EpAnn GrhsAnn ) <- cast x = Just mempty
136
135
| Just (x :: EpAnn HsRuleAnn ) <- cast x = Just mempty
137
- | Just (x :: EpAnn EpAnnImportDecl ) <- cast x = Just mempty
136
+ | Just (x :: EpAnn NameAnn ) <- cast x = Just mempty
137
+ | Just (x :: EpAnn NoEpAnns ) <- cast x = Just mempty
138
+ | Just (x :: EpAnn [AddEpAnn ]) <- cast x = Just mempty
138
139
| Just (x :: EpAnn (AddEpAnn , AddEpAnn )) <- cast x = Just mempty
139
- | Just (x :: EpAnn AnnsIf ) <- cast x = Just mempty
140
140
| Just (x :: TokenLocation ) <- cast y = Just mempty
141
141
| Just (y :: SrcSpan ) <- cast y = Just mempty
142
142
0 commit comments