Adding tick boxes to the interface syntax; fixes #1510
authorandy@galois.com <unknown>
Wed, 11 Jul 2007 07:20:02 +0000 (07:20 +0000)
committerandy@galois.com <unknown>
Wed, 11 Jul 2007 07:20:02 +0000 (07:20 +0000)
commite04f49034968322349e0f3f608e1b5a856fd6521
tree66ad89179a9e0905fc416ec148ccbe7fd6164868
parent6abf4f532101e8e44970486b99626f583e071167
Adding tick boxes to the interface syntax; fixes #1510
compiler/iface/BinIface.hs
compiler/iface/IfaceEnv.lhs
compiler/iface/IfaceSyn.lhs
compiler/iface/MkIface.lhs
compiler/iface/TcIface.lhs