@@ -1623,12 +1623,12 @@ addImpl' inpat env infns imp_meths ist ptm
16231623-- names with zero explicit arguments, don't add implicits.
16241624
16251625aiFn :: Bool -> Bool -> Bool
1626− -> [Name]
1627− -> IState -> FC
1628− -> Name -- ^ function being applied
1629− -> FC -> [[T.Text]]
1630− -> [PArg] -> -- ^ initial arguments
1631− Either Err PTerm
1626+ -> [Name]
1627+ -> IState -> FC
1628+ -> Name -- ^ function being applied
1629+ -> FC -> [[T.Text]]
1630+ -> [PArg] -- ^ initial arguments
1631+ -> Either Err PTerm
16321632aiFn inpat True qq imp_meths ist fc f ffc ds []
16331633 = case lookupDef f (tt_ctxt ist) of
16341634 [] -> Right $ PPatvar ffc f