diff options
| author | David Waern <david.waern@gmail.com> | 2007-11-11 00:50:57 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2007-11-11 00:50:57 +0000 |
| commit | 5f475ed8d2457925231389048d843ee1261802ac (patch) | |
| tree | ab665f79f9c3585c3fdf683a10759e0fbe7fea1b /src/Main.hs | |
| parent | 563918097f98e6eb6f6c57d3be3a0954d2655ee0 (diff) | |
Do some refactoring in the html backend
This also merges an old patch by Augustsson:
Wed Jul 12 19:54:36 CEST 2006 lennart.augustsson@credit-suisse.com
* Print type definitions like signatures if given arrows.
Diffstat (limited to 'src/Main.hs')
| -rw-r--r-- | src/Main.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Main.hs b/src/Main.hs index c342430b..f25bcb05 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -249,8 +249,6 @@ dumpInterfaceFile ifaces homeLinks flags = } - - ------------------------------------------------------------------------------- -- Misc ------------------------------------------------------------------------------- |