[project @ 2001-02-07 12:15:30 by sewardj]
authorsewardj <unknown>
Wed, 7 Feb 2001 12:15:30 +0000 (12:15 +0000)
committersewardj <unknown>
Wed, 7 Feb 2001 12:15:30 +0000 (12:15 +0000)
commit58efae0159c18b86327f4ca08ec88f7dddae78f5
tree5932fa0a3a7e187969f9ec6997850c00ffd18de6
parentd4c26c5ea7b7452d56ccc9833eea7e93c8fd4db7
[project @ 2001-02-07 12:15:30 by sewardj]
Make compatible with 4.08.2 (add [ ] in forall).
ghc/compiler/rename/RnHiFiles.hi-boot-5