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