Searched defs:addConMatchStrictness (Results 1 – 1 of 1) sorted by relevance
1113 addConMatchStrictness _ _ (PmAltConLike (RealDataCon dc)) res function1115 addConMatchStrictness delta x _ res = forceIfCanDiverge delta x res function