#10924: Template variable unbound in rewrite rule -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.3 Component: Compiler | Version: 7.10.2 Resolution: | Keywords: singletons, | templatehaskell Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): -------------------------------------+------------------------------------- Changes (by thomie): * milestone: => 7.10.3 Comment: I can reproduce this issue with ghc-7.10.2.20150906 (commit 108e35ff67586ffd570ca18d84a4f5fbf79727cc), which doesn't include the fix for #10689 yet. Run `cabal install --with-ghc=/opt/ghc/7.10.3/bin/ghc type-natural singletons` first. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10924#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler