projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26680ca) | patch
BugFix: do not insert breakpoints around expressions with unlifted kind
authorPepe Iborra <mnislaih@gmail.com>
Wed, 31 Jan 2007 10:28:21 +0000 (10:28 +0000)
committerPepe Iborra <mnislaih@gmail.com>
Wed, 31 Jan 2007 10:28:21 +0000 (10:28 +0000)
commit402cb6db0de6e607d874328784bd43e747376dc1
tree4b4a726fe6c01df596f590ceda6345988bc5e2a8tree | snapshot
parent26680cab67bdc2cd964530970a552f1f45b49459commit | diff
BugFix: do not insert breakpoints around expressions with unlifted kind

  I have added a check, and while there removed a few kludges in my code.
  Kudos to -dcore-lint for uncovering this.

  I think that this restriction could be lifted, if GHC.Base.breakpoint could have kind ?? -> ??. But is this a legal type? Does not look so to me.
compiler/deSugar/DsBreakpoint.lhs diff | blob | history
compiler/deSugar/DsExpr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)