diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2016-12-21 11:40:06 -0500 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2016-12-21 11:40:06 -0500 |
| commit | ccc918cdc8b2d147c4dbc29bfc87c058862a97cd (patch) | |
| tree | a19b4e869f77fc2b1a7a85de53b63732b9136d15 | |
| parent | 74033c46d31874e7b1cccc9482cba22158121fa4 (diff) | |
| download | haskell-ccc918cdc8b2d147c4dbc29bfc87c058862a97cd.tar.gz | |
Fix a forward reference to a Note
| -rw-r--r-- | compiler/hsSyn/Convert.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/hsSyn/Convert.hs b/compiler/hsSyn/Convert.hs index efd04283ab..7749265682 100644 --- a/compiler/hsSyn/Convert.hs +++ b/compiler/hsSyn/Convert.hs @@ -1363,8 +1363,8 @@ cvtInjectivityAnnotation (TH.InjectivityAnn annLHS annRHS) cvtPatSynSigTy :: TH.Type -> CvtM (LHsType RdrName) -- pattern synonym types are of peculiar shapes, which is why we treat --- them separately from regular types; see NOTE [Pattern synonym --- signatures and Template Haskell] +-- them separately from regular types; +-- see Note [Pattern synonym type signatures and Template Haskell] cvtPatSynSigTy (ForallT univs reqs (ForallT exis provs ty)) | null exis, null provs = cvtType (ForallT univs reqs ty) | null univs, null reqs = do { l <- getL |