From ab41d548db376c6b52869004d1b6e21b88b4c9c8 Mon Sep 17 00:00:00 2001 From: Yong He Date: Tue, 6 Feb 2024 16:30:31 -0800 Subject: Improve Capability System (#3555) * Improve capability system. * Update documentation. * Tuning semantics. * LSP: hierarchical diagnostics. * Fix test. * Fix test. --- tests/diagnostics/extension-visibility.slang.expected | 2 +- tests/diagnostics/generic-type-inference-fail.slang.expected | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'tests/diagnostics') diff --git a/tests/diagnostics/extension-visibility.slang.expected b/tests/diagnostics/extension-visibility.slang.expected index eed86715d..10033f24b 100644 --- a/tests/diagnostics/extension-visibility.slang.expected +++ b/tests/diagnostics/extension-visibility.slang.expected @@ -3,7 +3,7 @@ standard error = { tests/diagnostics/extension-visibility.slang(17): error 39999: could not specialize generic for arguments of type (MyThing) return helper(thing); ^ -tests/diagnostics/extension-visibility-a.slang(14): note 39999: see declaration of public func helper(T) -> int +tests/diagnostics/extension-visibility-a.slang(14): note: see declaration of public func helper(T) -> int public int helper(T thing) ^~~~~~ } diff --git a/tests/diagnostics/generic-type-inference-fail.slang.expected b/tests/diagnostics/generic-type-inference-fail.slang.expected index 17cb28ca2..1910954d0 100644 --- a/tests/diagnostics/generic-type-inference-fail.slang.expected +++ b/tests/diagnostics/generic-type-inference-fail.slang.expected @@ -3,7 +3,7 @@ standard error = { tests/diagnostics/generic-type-inference-fail.slang(66): error 39999: could not specialize generic for arguments of type (int) var obj3 = CreateT_Assoc_Inner(1); // ERROR. ^ -tests/diagnostics/generic-type-inference-fail.slang(18): note 39999: see declaration of func CreateT_Assoc_Inner(int) -> T.TAssoc +tests/diagnostics/generic-type-inference-fail.slang(18): note: see declaration of func CreateT_Assoc_Inner(int) -> T.TAssoc T.TAssoc CreateT_Assoc_Inner(int inVal) ^~~~~~~~~~~~~~~~~~~ } -- cgit v1.2.3