aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Do not filter out doc declarationsDavid Waern2008-08-031-0/+2
|
* Move some utility functions from H.I.Create to H.GHC.UtilsDavid Waern2008-08-032-22/+21
|
* Fix layoutDavid Waern2008-08-031-9/+9
|
* Filter out more declarations and keep only vanilla type sigs in classesDavid Waern2008-08-031-5/+18
|
* Filter out separately exported ATsDavid Waern2008-08-031-1/+13
| | | | | This is a quick and dirty hack to get rid of separately exported ATs. We haven't decided how to handle them yet. No warning message is given.
* Use isVanillaLSig from GHC API instead of home brewn functionDavid Waern2008-08-031-6/+1
|
* Move reL to H.GHC.Utils so we can use it everywhereDavid Waern2008-08-032-2/+4
|
* Filter out more declarationsDavid Waern2008-08-031-14/+25
| | | | | | The previous refactorings in H.I.Create introduced a few bugs. Filtering of some types of declarations that we don't handle was removed. This patch fixes this.
* Filter out ForeignExportsDavid Waern2008-08-031-4/+15
|
* Do not export ATs when not in list of subitemsDavid Waern2008-07-291-1/+8
|
* Move unL from H.B.Hoogle to H.GHC.UtilsDavid Waern2008-07-292-1/+4
| | | | I like Neil's shorter unL better than unLoc from the GHC API.
* Support type equality predicatesDavid Waern2008-07-281-0/+1
|
* Remove TODO from cabal fileDavid Waern2008-07-281-1/+0
|
* Doc: describe -w flagDavid Waern2008-07-251-0/+14
|
* Doc: update -B descriptionDavid Waern2008-07-251-1/+1
|
* Doc: Mention Hoogle in the IntroductionDavid Waern2008-07-251-2/+2
|
* Warning messagesDavid Waern2008-07-251-7/+34
| | | | | | Output a warning when filtering out data/type instances and associated types in instances. We don't show these in the documentation yet, and we need to let the user know.
* Simplify definition of pretty and trace_pprDavid Waern2008-07-251-2/+2
|
* Add a reference file for the TypeFamilies testDavid Waern2008-07-241-0/+310
|
* Print parenthesis around non-atomic banged typesDavid Waern2008-07-241-1/+1
| | | | Fixes half of #44
* Drop unnecessary parenthesis in types, put in by the userDavid Waern2008-07-244-39/+39
| | | | | | | | | | | | | We were putting in parenthesis were the user did. Let's remove this since it just clutters up the types. The types are readable anyway since we print parens around infix operators and do not rely on fixity levels. When doing this I discovered that we were relying on user parenthesis when printin types like (a `O` b) c. This patchs fixes this problem so that parenthesis are always inserted around an infix op application in case it is applied to further arguments, or if it's an arguments to a type constructor. Tests are updated.
* FIX #44: Propagate parenthesis level when printing documented typesDavid Waern2008-07-241-1/+1
|
* Depend on the currently available ghc-paths versions onlyDavid Waern2008-07-231-1/+1
|
* Be compatible with GHC 6.8.3David Waern2008-07-2347-139/+158
| | | | | | | | | | | | | | | | | | The cabal file is converted to use the "new" syntax with explicit Library and Executable sections. We define the __GHC_PATCHLEVEL__ symbol using a conditinal cpp-options field in the cabal file. (Ideally, Cabal would define the symbol for us, like it does for __GLASGOW_HASKELL__). We use these symbols to #ifdef around a small difference between 6.8.2 and 6.8.3. Previously, we only supported GHC 6.8.2 officially but the dependencies field said "ghc <= 6.9". This was just for convenience when testing against the (then compatible) HEAD version of GHC, and was left in the release by mistake. Now, we support both GHC 6.8.2 and 6.8.3 and the dependencies field correctly reflects this.
* Update tests/READMEDavid Waern2008-07-231-2/+8
|
* Add "all" command to runtests.hs that runs all tests despite failuresDavid Waern2008-07-231-3/+4
|
* Resolve conflicts in H.B.HoogleDavid Waern2008-07-201-0/+3
|
* Bump version number to 2.2.0David Waern2008-07-203-3/+3
|
* Print type signatures with brackets around the nameNeil Mitchell2008-07-101-3/+9
|
* Put brackets round operators in more places in the Hoogle outputNeil Mitchell2008-07-101-3/+13
|
* Remove the TODO in the Hoogle HTML generation, was already doneNeil Mitchell2008-07-101-1/+0
|
* Remove any white space around a <li> elementNeil Mitchell2008-06-261-1/+3
|
* Fix a bug in the Hoogle backend, unordered lists were being written out ↵Neil Mitchell2008-06-261-1/+1
| | | | <ul>...</u>
* Flesh out the Hoogle code to render documentationNeil Mitchell2008-06-261-4/+100
|
* Add support for Hoogle writing ForeignImport/ForeignExport properlyNeil Mitchell2008-06-261-0/+2
|
* Remove the indent utility function from Hoogle backendNeil Mitchell2008-06-261-1/+0
|
* Change how the Hoogle backend outputs classes, adding the context inNeil Mitchell2008-06-261-1/+12
|
* Follow changes to ExportDecl in HoogleDavid Waern2008-07-201-2/+6
|
* Preparation for rendering instances as separate declarationsDavid Waern2008-07-207-83/+217
| | | | | | | | | We want to be able to render instances as separate declarations. So we remove the Name argument of ExportDecl, since instances are nameless. This patch also contains the first steps needed to gather type family instances and display them in the backend, but the implementation is far from complete. Because of this, we don't actually show the instances yet.
* Small touchesDavid Waern2008-07-131-5/+4
|
* Remove unused import from H.I.CreateDavid Waern2008-07-131-2/+0
|
* Remove FastString import and FSLIT macro in H.I.Create -- they were unusedDavid Waern2008-07-131-2/+0
|
* Refactoring in H.Interface.CreateDavid Waern2008-07-133-196/+128
| | | | | | | | | | | | | | | | | | | | | | | | We were creating a doc map, a declaration map and a list of entities separately by going through the HsGroup. These structures were all used to build the interface of a module. Instead of doing this, we can start by creating a list of declarations from the HsGroup, then collect the docs directly from this list (instead of using the list of entities), creating a documentation map. We no longer need the Entity data type, and we can store a single map from names to declarations and docs in the interface, instead of the declaration map and the doc map. This way, there is only one place where we filter out the declarations that we don't want, and we can remove a lot of code. Another advantage of this is that we can create the exports directly out of the list of declarations when we export the full module contents. (Previously we did a look up for each name to find the declarations). This is faster and removes another point where we depend on names to identify exported declarations, which is good because it eliminates problems with instances (which don't have names).
* Get the all locally defined names from GHC APIDavid Waern2008-07-123-8/+3
| | | | | | We previously had some code to compute all locally defined names in a module including subordinate names. We don't need it since we can get the names from modInfoTyThings in the GHC API.
* Stop using the map from exported names to declarationsDavid Waern2008-07-122-12/+11
| | | | | | | | | | | | | | | During creation of the interface, we were using two maps: one from exported names to declarations, and one from all defined names in the module to declarations. The first contained subordinate names while the second one didn't. The first map was never used to look up names not defined in the associated module, so if we add subordinate names to the second map, we could use it everywhere. That's that this patch does. This simplifies code because we don't have to pass around two maps everywhere. We now store the map from locally defined things in the interface structure instead of the one from exported names.
* Update test output following change to instance filteringDavid Waern2008-07-084-0/+136
|
* Remove index.html and doc-index.html from output, they should not be versionedDavid Waern2008-07-084-1312/+68
|
* Run haddock in-place during testingDavid Waern2008-06-301-1/+5
|
* Remove filtering of instancesDavid Waern2008-07-071-2/+2
| | | | | | | We were filtering out all instances for types with unknown names. This was probably an attempt to filter out instances for internal types. I am removing the filtering for the moment, and will try to fix this properly later.
* More support for type families and associated typesDavid Waern2008-07-022-50/+73
| | | | Now we just need to render the instances