5 ms·Don't try ghc-7.7. After -fdefer-type-errors and -XTypeHoles there is no way back.by lelf 13y agoDon't try ghc-7.7. After -fdefer-type-errors and -XTypeHoles there is no way back.tel 13y agoIf I recall, defer-type-errors is in 7.6, toolelf 13y agoYep, thanks. But those nifty type holes…tel 13y agoI haven't used them, but the day there's Agda in my haskell will be a good day.