Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Get the all locally defined names from GHC API | David Waern | 2008-07-12 | 3 | -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 declarations | David Waern | 2008-07-12 | 2 | -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. | ||||
* | Remove filtering of instances | David Waern | 2008-07-07 | 1 | -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 types | David Waern | 2008-07-02 | 2 | -50/+73 |
| | | | | Now we just need to render the instances | ||||
* | Remove redundant check for summary when rendering data types | David Waern | 2008-07-02 | 1 | -4/+3 |
| | |||||
* | Render type family declarations (untested) | David Waern | 2008-07-02 | 1 | -6/+80 |
| | |||||
* | Rename associated types | David Waern | 2008-06-30 | 1 | -5/+7 |
| | |||||
* | Rename type patterns | David Waern | 2008-06-30 | 1 | -5/+9 |
| | |||||
* | Rename TyFamily | David Waern | 2008-06-30 | 1 | -3/+8 |
| | |||||
* | Rename ForeignType | David Waern | 2008-06-30 | 1 | -4/+3 |
| | |||||
* | Improve wording in the help message | David Waern | 2008-06-26 | 1 | -2/+2 |
| | |||||
* | Use ghc-paths to get the lib dir | David Waern | 2008-06-26 | 1 | -1/+1 |
| | | | | | The path can still be overridden using the -B flag. It's not longer required to pass the lib dir to the program that runs the test suite. | ||||
* | Be more consistent with GHC API naming in H.GHC.Utils | David Waern | 2008-06-19 | 2 | -7/+7 |
| | |||||
* | In Hoogle do not list things that are not local to this module | Neil Mitchell | 2008-06-18 | 1 | -1/+6 |
| | |||||
* | Change Hoogle to take the package name and package version separately | Neil Mitchell | 2008-06-16 | 1 | -8/+12 |
| | |||||
* | Add modulePkgInfo to Haddock.GHC.Utils, which gives back package name and ↵ | Neil Mitchell | 2008-06-16 | 1 | -0/+9 |
| | | | | version info | ||||
* | Default to "main" if there is no package, otherwise will clobber hoogle's ↵ | Neil Mitchell | 2008-06-16 | 1 | -1/+1 |
| | | | | hoogle info | ||||
* | Remove <document comment> from the Hoogle output | Neil Mitchell | 2008-06-14 | 1 | -1/+5 |
| | |||||
* | Add initial structure for outputting documentation as well, but does not yet ↵ | Neil Mitchell | 2008-06-14 | 1 | -5/+21 |
| | | | | output anything | ||||
* | Simplify the newtype/data outputting in Hoogle, as haddock does it automatically | Neil Mitchell | 2008-06-14 | 1 | -6/+2 |
| | |||||
* | Rewrite the --hoogle flag support | Neil Mitchell | 2008-06-07 | 1 | -137/+62 |
| | |||||
* | Add hide options to some source files | David Waern | 2008-05-01 | 3 | -0/+9 |
| | |||||
* | Add LANGUAGE pragmas to source files | David Waern | 2008-05-01 | 3 | -0/+10 |
| | |||||
* | Remove claim of backwards compatibility from docs for readInterfaceFile | David Waern | 2008-05-01 | 1 | -2/+0 |
| | |||||
* | Fix missing parenthesis in constructor args bug | David Waern | 2008-04-12 | 1 | -4/+4 |
| | |||||
* | Fix printing of data binders | David Waern | 2008-04-12 | 2 | -3/+9 |
| | |||||
* | Add a flag for turning off all warnings | David Waern | 2008-04-11 | 3 | -8/+11 |
| | |||||
* | Fix some trivial warnings in H.InterfaceFile | David Waern | 2008-02-10 | 1 | -4/+7 |
| | |||||
* | H.GHC.Utils: add some functions that were removed by mistake | David Waern | 2008-02-10 | 1 | -0/+8 |
| | |||||
* | H.GHC.Utils: remove unused imports/exports | David Waern | 2008-02-09 | 1 | -40/+4 |
| | |||||
* | Change the representation of DocNames | David Waern | 2008-02-09 | 11 | -115/+140 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Ross Paterson reported a bug where links would point to the defining module instead of the "best" module for an identifier (e.g Int pointing to GHC.Base instead of Data.Int). This patch fixes this problem by refactoring the way renamed names are represented. Instead of representing them by: > data DocName = Link Name | NoLink Name they are now represented as such: > data DocName = Documented Name Module | Undocumented Name and the the link-env looks like this: > type LinkEnv = Map Name Module There are several reasons for this. First of all, the bug was caused by changing the module part of Names during the renaming process, without changing the Unique field. This caused names to be overwritten during the loading of .haddock files (which caches names using the NameCache of the GHC session). So we might create new Uniques during renaming to fix this (but I'm not sure that would be problem-free). Instead, we just keep the Name and add the Module where the name is best documented, since it can be useful to keep the original Name around (for e.g. source-code location info and for users of the Haddock API). Also, the names Link/NoLink don't really make sense, since wether to use links or not is entirely up to the users of DocName. In the process of following this change into H.Backends.Html I removed the assumption that binder names are Undocumented (which was just an unnecessary assumption, the OccName is the only thing needed to render these). This will probably make it possible to get rid of the renamer and replace it with a traversal from SYB or Uniplate. Since DocName has changed, InterfaceFile has changed so this patch also increments the file-format version. No backwards-compatibility is implemented. | ||||
* | Add documentation for readInterfaceFile | David Waern | 2008-01-07 | 1 | -1/+5 |
| | |||||
* | Remove --no-implicit-prelide flag | David Waern | 2008-01-07 | 1 | -3/+0 |
| | |||||
* | Remove the -use-package flag, we don't support it anyway | David Waern | 2008-01-07 | 1 | -3/+0 |
| | |||||
* | Manual merge of a patch to the 0.8 branch | David Waern | 2008-01-06 | 3 | -22/+31 |
| | | | | | | | Thu Dec 6 15:00:10 CET 2007 Simon Marlow <simonmar@microsoft.com> * Source links must point to the original module, not the referring module | ||||
* | Source links must point to the original module, not the referring module | Simon Marlow | 2007-12-06 | 1 | -3/+11 |
| | |||||
* | Add DrIFT commands | David Waern | 2008-01-05 | 1 | -1/+2 |
| | |||||
* | Fix a bug (use ppTyName instead of ppName to print names in type apps) | David Waern | 2007-12-08 | 1 | -1/+1 |
| | |||||
* | Fix rendering of class operators | David Waern | 2007-12-08 | 1 | -42/+26 |
| | |||||
* | Fix rendering of instance heads to handle infix operators | David Waern | 2007-12-08 | 1 | -13/+22 |
| | | | | | This is also a refactoring to share this code for rendering predicates. | ||||
* | Use ppParendType when printing types args in predicates | David Waern | 2007-12-08 | 1 | -4/+5 |
| | |||||
* | Add ppLParendTypes/ppLParendType | David Waern | 2007-12-08 | 1 | -4/+9 |
| | |||||
* | Handle infix operators correctly in the Type -> HsType translation | David Waern | 2007-12-08 | 1 | -3/+8 |
| | |||||
* | Code layout changes | David Waern | 2007-12-08 | 1 | -2/+2 |
| | |||||
* | Handle class operators correctly when rendering predicates | David Waern | 2007-12-08 | 1 | -1/+15 |
| | |||||
* | addition of type equality support (at least for HTML generation) | Wolfgang Jeltsch | 2007-12-03 | 2 | -0/+5 |
| | |||||
* | Make the search box in a form so that enter does the default search | Neil Mitchell | 2007-01-12 | 1 | -4/+6 |
| | |||||
* | Fix conflicts | David Waern | 2007-11-11 | 1 | -22/+16 |
| | |||||
* | Rewrite much of the index searching code, previously was too slow to execute ↵ | Neil Mitchell | 2007-01-12 | 1 | -3/+13 |
| | | | | on the base library with IE, the new version guarantees less than O(log n) operations be performed, where n is the number in the list (before was always O(n)) | ||||
* | Change from tabs to spaces in the ppHtmlIndex function | Neil Mitchell | 2007-01-11 | 1 | -19/+25 |
| |