Searched refs:DontExpandLast (Results 1 – 5 of 5) sorted by relevance
64 insertImplicitPatternsT DontExpandLast [] a = insertImplicitSizeLtPatterns a function
70 dontExpandLast = localTC $ \ e -> e { envExpandLast = DontExpandLast }
3180 | DontExpandLast -- ^ Do not append implicit arguments. constructor3186 isDontExpandLast DontExpandLast = True function
915 ts <- noConstraints (checkArguments_ CmpEq DontExpandLast (getRange i) args tel') >>= \case
1533 inferExpr = inferExpr' DontExpandLast