File 0254-stdlib-Fix-edlin-type-expand-for-char-type... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0254-stdlib-Fix-edlin-type-expand-for-char-type.patch of Package erlang (Revision 2f15b05a39d64e5cba90e927e8665465)

Currently displaying revision 2f15b05a39d64e5cba90e927e8665465 , Show latest

From 274f18bad859c2d8fa56689b9403e1d7410ead39 Mon Sep 17 00:00:00 2001
From: Lukas Larsson <lukas@erlang.org>
Date: Mon, 8 Apr 2024 12:41:07 +0200
Subject: [PATCH] stdlib: Fix edlin type expand for char type

Fix `-type a() :: $a.` to work for edlin type completion.
---
 lib/stdlib/src/edlin_type_suggestion.erl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/stdlib/src/edlin_type_suggestion.erl b/lib/stdlib/src/edlin_type_suggestion.erl
index 5b148ab998..b16223ee90 100644
--- a/lib/stdlib/src/edlin_type_suggestion.erl
+++ b/lib/stdlib/src/edlin_type_suggestion.erl
@@ -84,6 +84,8 @@ type_traverser(Mod, {op, _, Op, Type1, Type2}, Visited, Level, FT) ->
     {op, Op, type_traverser(Mod, Type1, Visited, Level, FT), type_traverser(Mod, Type2, Visited, Level, FT)};
 type_traverser(_Mod, {integer, _, Int}, _Visited, _Level, _FT) ->
     {integer, Int};
+type_traverser(_Mod, {char, _, Char}, _Visited, _Level, _FT) ->
+    {char, Char};
 type_traverser(Mod, {type, _, list, [ChildType]}, Visited, Level, FT) ->
     {list, type_traverser(Mod, ChildType, Visited, Level-1, FT)};
 type_traverser(_Mod, {type, _, tuple, any}, _Visited, _Level, _FT) ->
@@ -445,6 +447,8 @@ print_type({map_field_exact, Type1, Type2}, Cs, V, Options) ->
     print_type(Type1, Cs, V, Options) ++ ":=" ++ print_type(Type2, Cs, V, Options);
 print_type({integer, Int}, _Cs, _V, _) ->
     integer_to_list(Int);
+print_type({char, Char}, _Cs, _V, _) ->
+    [$$,Char];
 print_type({op, Op, Type}, Cs, V, Options) ->
     "op ("++atom_to_list(Op)++" "++print_type(Type, Cs, V, Options)++")";
 print_type({op, Op, Type1, Type2}, Cs, V, Options) ->
-- 
2.35.3

Places

File 0254-stdlib-Fix-edlin-type-expand-for-char-type.patch of Package erlang (Revision 2f15b05a39d64e5cba90e927e8665465)

Places