Changes between Version 4 and Version 5 of CrossPackageDocumentation

Show
Ignore:
Timestamp:
05/23/09 17:19:42 (5 years ago)
Author:
waern (IP: 90.36.55.227)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • CrossPackageDocumentation

    v4 v5  
    2222 
    2323== Reconstructing Declarations from .hi Files ==  
     24 
     25We might not need to store anything in the .haddock files if we can reconstruct all declarations from the `TyThings` available in the .hi files. We already convert instances using a conversion function `toHsType :: Type -> HsType Name`. We could try to write a conversation function `toHsDecl :: TyThing -> HsDecl Name`. 
     26 
     27It might also be possible to do the conversion using existing template haskell functionality from the GHC API. 
     28 
     29The downside of this approach is that we loose the original declaration style. For example, we don't know if a data type was declared using GADT-style syntax (with a 'where' clause), or normal style.