Searched refs:NonTrivArg (Results 1 – 5 of 5) sorted by relevance
1072 | NonTrivArg -- Arg has structure constructor1078 ppr NonTrivArg = text "NonTrivArg"1539 mk_arg_discount _ NonTrivArg = 10
1263 | NonTrivArg -- Arg has structure constructor1269 ppr NonTrivArg = text "NonTrivArg"1625 mk_arg_discount _ NonTrivArg = 10
1253 | NonTrivArg -- Arg has structure constructor1259 ppr NonTrivArg = text "NonTrivArg"1629 mk_arg_discount _ NonTrivArg = 10
803 | n>0 = NonTrivArg -- (\x.b) e is NonTriv805 go _ _ (Case {}) = NonTrivArg808 _ -> NonTrivArg816 | n > 0 = NonTrivArg -- Saturated or unknown call