Commits on Jan 21, 2020

1. Make TooGeneric error in WF checking a proper error …

   `TooGeneric` is encountered during WF checking when we cannot determine that a constant involving a generic parameter will always be evaluated successfully (rather than resulting in an error). In these cases, the burden of proof should be with the caller, so that we can avoid post-monomorphisation tim errors (which was the previous previous behaviour). This commit ensures that this situation produces a proper compiler error, rather than silently ignoring it or ICEing.

   

   varkor committed Jan 21, 2020
   Configuration menu

   • View commit details
   • Copy full SHA for dd0507c
   • Browse repository at this point

   Copy the full SHA

   dd0507c View commit details

   Browse the repository at this point in the history