You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
possibleInstances <- selectInstances forms argsExpr sourcePos
113
112
when (null possibleInstances) (errorC sourcePos $"No instance of "<> nameOfModule mod<>" found to match given parameters.\narguments given:\n"<> pack (show argsExpr) <>"\nForms available:"<> pack (show forms) <>"\n")
113
+
-- FIXME: make this a warning that can be turned on and off, and is off by default.
114
+
{-
114
115
when (length possibleInstances > 1) (warnC sourcePos $ "Multiple instances of " <> nameOfModule mod <> " found matching given parameters.\nInstances found:\n" <> (DTL.concat $ showInstance mod <$> possibleInstances) <> "Parameters given: " <> nameOfModule mod <> "(" <> (DTL.intercalate ", " $ showParameter <$> argsExpr) <> ");")
115
116
where
116
117
showParameter :: (Maybe Symbol, Expr) -> Text
@@ -121,6 +122,7 @@ checkInstances sourcePos mod argsExpr forms = do
0 commit comments