30 Jun
2008
30 Jun
'08
7:29 a.m.
| > This is the second time I have seen someone comment on implicit | > parameters being planned for removal, so now you have my attention :). | > I'd like to mention that a rather large project where I work (Galois, | > Inc.) uses implicit parameters a lot, so removing support for them | > would make me rather unhappy. | | | Hm, looks like terminology confusion. Implicit parameters are | staying. *Linear* implicit parameters were deprecated in 6.6 and seem | to be gone now. Brandon's right. Linear implicit parameters are gone. Opinions differ about (ordinary) implicit parameters, but they are sometimes jolly useful, and don't seem to impose non-local complications on the type system. We have no plans to remove them from GHC. Simon