Distinguish between userError (i.e., deliberate failure) and other immediate and...
authorTyson Whitehead <twhitehe@uwo.ca>
Tue, 10 Apr 2007 14:17:09 +0000 (14:17 +0000)
committerTyson Whitehead <twhitehe@uwo.ca>
Tue, 10 Apr 2007 14:17:09 +0000 (14:17 +0000)
commit5ecf452603a0c79e4fed0062b79bcaff4449b213
treeda8e4885869d5b62af88d4eae1ce52f90176aeae
parentcdce647711c0f46f5799b24de087622cb77e647f
Distinguish between userError (i.e., deliberate failure) and other immediate and embedded exceptions for TH splices for trac #1265
compiler/typecheck/TcSplice.lhs