@@ -1023,9 +1023,7 @@ elabInstance info syn fc cs n ps t expn ds
1023 logLvl 3 $ "Method types " ++ showSep "\n" (map (showDeclImp True . mkTyDecl) mtys)
1023 logLvl 3 $ "Method types " ++ showSep "\n" (map (showDeclImp True . mkTyDecl) mtys)
1024 logLvl 3 $ "Instance is " ++ show ps ++ " implicits " ++
1024 logLvl 3 $ "Instance is " ++ show ps ++ " implicits " ++
1025 show (concat (nub wparams))
1025 show (concat (nub wparams))
1026− let lhs = case concat (nub wparams) of
1028− as -> PApp fc (PRef fc iname) as
1026+ let lhs = PRef fc iname
1029 let rhs = PApp fc (PRef fc (instanceName ci))
1027 let rhs = PApp fc (PRef fc (instanceName ci))
1030 (map (pexp . mkMethApp) mtys)
1028 (map (pexp . mkMethApp) mtys)
1031 let idecls = [PClauses fc [Inlinable, TCGen] iname
1029 let idecls = [PClauses fc [Inlinable, TCGen] iname