From 7ebc9875bbd765c1f6d7763b4ff0823ecc282e00 Mon Sep 17 00:00:00 2001 From: Tim Foley Date: Fri, 22 Dec 2017 10:48:55 -0800 Subject: Support generic type constraints when implicitly invoking generic Fixes #326 This basically just copy-pastes logic from the explicit case over to the implicit case. After we've solved for the explicit type/value arguments, we loop over the constraints and for each one we try to find a suitable subtype witness to use (after substituting in the arguments solved so far). This change includes a test case for the new functionality. --- tests/compute/implicit-generic-app.slang.expected.txt | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 tests/compute/implicit-generic-app.slang.expected.txt (limited to 'tests/compute/implicit-generic-app.slang.expected.txt') diff --git a/tests/compute/implicit-generic-app.slang.expected.txt b/tests/compute/implicit-generic-app.slang.expected.txt new file mode 100644 index 000000000..bc856dafa --- /dev/null +++ b/tests/compute/implicit-generic-app.slang.expected.txt @@ -0,0 +1,4 @@ +0 +1 +2 +3 -- cgit v1.2.3