aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorBrad Lewis <22850972+BradLewis@users.noreply.github.com>2025-08-19 12:19:01 -0400
committerBrad Lewis <22850972+BradLewis@users.noreply.github.com>2025-08-19 12:38:25 -0400
commit558f690a8d962b658986bc28fa1e5603098674c1 (patch)
treeeaa3b34ecdb5af1ccaa0f347b8482c4bf0c8f681 /src
parent9ffbad23c023a84f568d6079e1181442f5e70500 (diff)
Correctly resolve string indexing
Diffstat (limited to 'src')
-rw-r--r--src/server/analysis.odin23
-rw-r--r--src/server/documentation.odin11
2 files changed, 31 insertions, 3 deletions
diff --git a/src/server/analysis.odin b/src/server/analysis.odin
index c1d0016..7c51b69 100644
--- a/src/server/analysis.odin
+++ b/src/server/analysis.odin
@@ -1238,6 +1238,24 @@ resolve_index_expr :: proc(ast_context: ^AstContext, v: ^ast.Index_Expr) -> (Sym
ok = internal_resolve_type_expression(ast_context, v2.value, &symbol)
case SymbolMultiPointerValue:
ok = internal_resolve_type_expression(ast_context, v2.expr, &symbol)
+ case SymbolBasicValue:
+ if v2.ident.name == "string" {
+ v2.ident.name = "u8"
+ indexed.name = "u8"
+ return indexed, true
+ }
+ return {}, false
+ case SymbolUntypedValue:
+ if v2.type == .String {
+ value := SymbolBasicValue{
+ ident = ast.new(ast.Ident, v2.tok.pos, v2.tok.pos),
+ }
+ value.ident.name = "u8"
+ indexed.name = "u8"
+ indexed.value = value
+ return indexed, true
+ }
+ return {}, false
}
@@ -1887,6 +1905,11 @@ resolve_slice_expression :: proc(ast_context: ^AstContext, slice_expr: ^ast.Slic
return symbol, true
}
return {}, false
+ case SymbolBasicValue:
+ if v.ident.name == "string" {
+ return symbol, true
+ }
+ return {}, false
case:
return {}, false
}
diff --git a/src/server/documentation.odin b/src/server/documentation.odin
index dc0784d..1cc804d 100644
--- a/src/server/documentation.odin
+++ b/src/server/documentation.odin
@@ -822,10 +822,15 @@ write_symbol_name :: proc(sb: ^strings.Builder, symbol: Symbol) {
}
write_symbol_type_information :: proc(sb: ^strings.Builder, ast_context: ^AstContext, symbol: Symbol) -> bool {
- show_type_info :=
- (symbol.type == .Variable || symbol.type == .Field) && !(.Anonymous in symbol.flags) && symbol.type_name != ""
+ if symbol.type_name == "" {
+ return false
+ }
+
+ if symbol.type != .Variable && symbol.type != .Field {
+ return false
+ }
- if !show_type_info {
+ if .Anonymous in symbol.flags {
return false
}