Commit aa07da11 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-06-28 15:11:07 by simonpj]

Fix a missing case in kcHsType.

	[Could be merged into 5.00.3, but we probably
	 aren't going to have such a thind.]
parent 72c8c996
......@@ -75,6 +75,7 @@ data HsType name
-- Generics
| HsOpTy (HsType name) name (HsType name)
| HsNumTy Integer
-- these next two are only used in interfaces
| HsPredTy (HsPred name)
......
......@@ -212,6 +212,9 @@ kcHsType (HsFunTy ty1 ty2)
kcTypeType ty2 `thenTc_`
returnTc liftedTypeKind
kcHsType (HsNumTy _) -- The unit type for generics
= returnTc liftedTypeKind
kcHsType ty@(HsOpTy ty1 op ty2)
= kcTyVar op `thenTc` \ op_kind ->
kcHsType ty1 `thenTc` \ ty1_kind ->
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment