language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 20:28:02 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Make sure structuralEq, structuralNotEq is not importable

Browse source
This commit is contained in:
Ayaz Hafiz 2022-10-10 16:25:12 -05:00
parent fe9b848686
commit 3192bed417
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

10
crates/compiler/module/src/symbol.rs
View file

@ -808,6 +808,7 @@ macro_rules! define_builtins {
$(exposed_type=$exposed_type:literal)?
$(in_scope_for_hints=$in_scope_for_hints:literal)?
)*
$(unexposed $u_ident_id:literal $u_ident_const:ident: $u_ident_name:literal)*
}
)+
num_modules: $total:literal
@ -955,6 +956,9 @@ macro_rules! define_builtins {
$(
pub const $ident_const: Symbol = Symbol::new(ModuleId::$module_const, IdentId($ident_id));
)*
$(
pub const $u_ident_const: Symbol = Symbol::new(ModuleId::$module_const, IdentId($u_ident_id));
)*
)+
/// The default `Apply` types that should be in scope,
@ -1254,9 +1258,9 @@ define_builtins! {
7 BOOL_NEQ: "isNotEq"
8 EQ_EQ: "Eq" exposed_type=true
9 EQ_IS_EQ: "isEq"
10 EQ_STRUCTURAL_EQ: "structuralEq"
11 EQ_STRUCTURAL_NOT_EQ: "structuralNotEq"
12 BOOL_IS_EQ_IMPL: "boolIsEq"
10 BOOL_IS_EQ_IMPL: "boolIsEq"
unexposed 11 EQ_STRUCTURAL_EQ: "structuralEq"
unexposed 12 EQ_STRUCTURAL_NOT_EQ: "structuralNotEq"
}
5 STR: "Str" => {
0 STR_STR: "Str" exposed_apply_type=true // the Str.Str type alias