ref: 645abd7ece2fe3132c36078399417f625f17e1f2
parent: 7cf1c79af8831309f86c4fb5d02cb082e51515e9
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Mon Nov 27 15:45:37 EST 2023
Another test.
--- a/tests/Dict.hs
+++ b/tests/Dict.hs
@@ -8,10 +8,17 @@
facD :: forall a . Dict (Num a, Eq a) -> a -> a
facD Dict = fac
+facDO :: forall a . Dict (Ord a, Num a) -> a -> a
+facDO Dict = fac
+
dictInt :: Dict (Num Int, Eq Int)
dictInt = Dict
+dictIntO :: Dict (Ord Int, Num Int)
+dictIntO = Dict
+
main :: IO ()
main = do
print $ facD dictInt 10
print $ withDict dictInt (fac (11::Int))
+ print $ facDO dictIntO 12
--
⑨