Take away XXXs in GADT records related code that are no longer TODOs.
authoraudreyt@audreyt.org <unknown>
Tue, 12 Sep 2006 12:09:42 +0000 (12:09 +0000)
committeraudreyt@audreyt.org <unknown>
Tue, 12 Sep 2006 12:09:42 +0000 (12:09 +0000)
commit795c86daa4afb53f7ec99f5082e2e7fcc690830c
tree365a4b70e358d5c1de2f5ce2662bfe5944a85b7d
parent186a80cbcfbe0490ddd153e5f75faac23f4e5021
Take away XXXs in GADT records related code that are no longer TODOs.
compiler/basicTypes/MkId.lhs
compiler/parser/ParserCore.y
compiler/typecheck/TcTyClsDecls.lhs