diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-26 09:14:37 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-26 09:14:37 +0100 |
| commit | 0a9b99a0c916100e7087026d29253d72f1ff9057 (patch) | |
| tree | dbfbb08cb497190fa60e8525b81303b216728121 /src/Haddock/Convert.hs | |
| parent | 1e6e6c01babee971420e1876cdffdfb0bf673c1e (diff) | |
| parent | 925c54bbffaf90b5719b332628c7540ab13dc6c2 (diff) | |
Merge branch 'master' of http://darcs.haskell.org//haddock
Diffstat (limited to 'src/Haddock/Convert.hs')
| -rw-r--r-- | src/Haddock/Convert.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Haddock/Convert.hs b/src/Haddock/Convert.hs index 0470a5f5..e7409990 100644 --- a/src/Haddock/Convert.hs +++ b/src/Haddock/Convert.hs @@ -304,6 +304,11 @@ synifyType s forallty@(ForAllTy _tv _ty) = sTau = synifyType WithinType tau in noLoc $ HsForAllTy forallPlicitness sTvs sCtx sTau +synifyType _ (LitTy t) = noLoc $ HsTyLit $ synifyTyLit t + +synifyTyLit :: TyLit -> HsTyLit +synifyTyLit (NumTyLit n) = HsNumTy n +synifyTyLit (StrTyLit s) = HsStrTy s synifyKindSig :: Kind -> HsBndrSig (LHsKind Name) synifyKindSig k = HsBSig (synifyType (error "synifyKind") k) placeHolderBndrs |