language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-15 17:40:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

check_adhoc for inspect

Browse source
This commit is contained in:
Brendan Hansknecht 2023-11-28 10:17:09 -08:00
parent 82cda1965c
commit c443bdcf4f
No known key found for this signature in database
GPG key ID: 0EA784685083E75B
4 changed files with 10 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
crates/compiler/solve/src/ability.rs
View file

@ -304,6 +304,13 @@ impl ObligationCache {
Symbol::BOOL_EQ => Some(DeriveEq::is_derivable(self, abilities_store, subs, var)), Symbol::BOOL_EQ => Some(DeriveEq::is_derivable(self, abilities_store, subs, var)),
Symbol::INSPECT_INSPECT_ABILITY => Some(DeriveInspect::is_derivable(
self,
abilities_store,
subs,
var,
)),
_ => None, _ => None,
}; };

2
crates/compiler/uitest/tests/ability/specialize/inspect/num_a_to_inspector.txt
View file

@ -1,4 +1,4 @@
app "test" provides [main] to "./platform" app "test" provides [main] to "./platform"
main = Inspect.toInspector 7 |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr main = Inspect.toInspector 7 |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Bool -[[Inspect.dbgBool(43)]]-> Inspector DbgFormatter # ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): I64 -[[Inspect.dbgI64(54)]]-> Inspector DbgFormatter

2
crates/compiler/uitest/tests/ability/specialize/inspect/opaque_derived.txt
View file

@ -3,4 +3,4 @@ app "test" provides [main] to "./platform"
Op := U8 implements [Inspect] Op := U8 implements [Inspect]
main = Inspect.toInspector (@Op 1u8) main = Inspect.toInspector (@Op 1u8)
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Op -[[] + f:Inspect.opaque(15):1]-> Inspector f where f implements InspectFormatter # ^^^^^^^^^^^^^^^^^^^ Op#Inspect.toInspector(3): Op -[[#Op_toInspector(3)]]-> Inspector f where f implements InspectFormatter

2
crates/compiler/uitest/tests/ability/specialize/inspect/u8_to_inspector.txt
View file

@ -1,4 +1,4 @@
app "test" provides [main] to "./platform" app "test" provides [main] to "./platform"
main = Inspect.toInspector 7u8 |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr main = Inspect.toInspector 7u8 |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Bool -[[Inspect.dbgBool(43)]]-> Inspector DbgFormatter # ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): U8 -[[Inspect.dbgU8(47)]]-> Inspector DbgFormatter