#15108: Panic: collectNBinders -------------------------------------+------------------------------------- Reporter: cdisselkoen | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.6.1 Component: Profiling | Version: 8.4.2 Resolution: fixed | Keywords: panic | collectNBinders Operating System: Linux | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): I suppose we could, but a key aspect of the current join points is that their semantics is exactly that of let-bindings; and often code (e.g. strictness analysis) can work uniformly for both. Yes, there are many ways in which we could change the representation. E.g. maybe `Lam` should take a list of binders, or `App` should take a list of arguments. But my instinct is that you save code in some places and lose it in others. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15108#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler