#11698: GHC's tct_closed flag is not being set correctly -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: 11656 Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by facundo.dominguez): I can think of two ways to compute closedness. 1. Attach the free variables computed during the renaming pass to each binding. During type-checking, use these and the type of the binding to determine if it is closed. 2. Compute the free variables during type-checking and determine closedness from these alone. Is it (1) ok? Maybe it is more convenient than (2)? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11698#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler