|
1 | 1 | # Changelog |
2 | 2 |
|
3 | | -Dedicated to the memory of Len Pilfold. |
4 | | - |
5 | | -## v1.8.0 - 2025-02-07 |
6 | | - |
7 | | -## v1.8.0-rc1 - 2025-02-03 |
8 | | - |
9 | | -### Compiler |
10 | | - |
11 | | -- Pipelines are now fault tolerant. A type error in the middle of a pipeline |
12 | | - won't stop the compiler from figuring out the types of the remaining pieces, |
13 | | - enabling the language server to show better suggestions for incomplete pipes. |
14 | | - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) |
15 | | - |
16 | | -- Improved code generation for blocks in tail position on the Javascript target. |
17 | | - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) |
18 | | - |
19 | | -- Function documentation comments and module documentation comments are now |
20 | | - included in the generated Erlang code and can be browsed from the Erlang |
21 | | - shell starting from OTP27. |
22 | | - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) |
23 | | - |
24 | | -- Parsing of `case` expressions is now fault tolerant. If a `case` expressions |
25 | | - is missing its body, the compiler can still perform type inference. This also |
26 | | - allows the Language Server to provide completion hints for `case` subjects. |
27 | | - ([Surya Rose](https://github.com/GearsDatapacks)) |
28 | | - |
29 | | -- The compiler can now suggest to wrap a value in an `Ok` or `Error` if that can |
30 | | - solve a type mismatch error: |
31 | | - |
32 | | - ```gleam |
33 | | - pub fn greet_logged_user() { |
34 | | - use <- bool.guard(when: !logged_in, return: Error(Nil)) |
35 | | - "Hello!" |
36 | | - } |
37 | | - ``` |
38 | | - |
39 | | - Results in the following error: |
40 | | - |
41 | | - ```txt |
42 | | - error: Type mismatch |
43 | | - ┌─ /main.gleam:7:3 |
44 | | - │ |
45 | | - 7 │ "Hello!" |
46 | | - │ ^^^^^^^^ Did you mean to wrap this in an `Ok`? |
47 | | -
|
48 | | - Expected type: |
49 | | -
|
50 | | - Result(a, Nil) |
51 | | -
|
52 | | - Found type: |
53 | | -
|
54 | | - String |
55 | | - ``` |
56 | | - |
57 | | - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) |
58 | | - |
59 | | -- The compiler now shows an improved error message when using an unknown type as a |
60 | | - variable name |
61 | | - |
62 | | - ```txt |
63 | | - error: Unknown variable |
64 | | - ┌─ /src/one/two.gleam:4:3 |
65 | | - │ |
66 | | - 4 │ X |
67 | | - │ ^ |
68 | | - The custom type variant constructor `X` is not in scope here. |
69 | | - ``` |
70 | | - |
71 | | - ([Roeeeee](https://github.com/5c077m4n)) |
72 | | - |
73 | | -- Erlang `file` module attributes now use paths relative to the root. |
74 | | - ([Kasim](https://github.com/oneness)) |
75 | | - |
76 | | -### Build tool |
77 | | - |
78 | | -- `gleam new` now has refined project name validation - rather than failing on |
79 | | - invalid project names, it suggests a valid alternative and prompts for |
80 | | - confirmation to use it. |
81 | | - ([Diemo Gebhardt](https://github.com/diemogebhardt)) |
82 | | - |
83 | | -- `gleam docs build` generated documentation site now focuses the search input |
84 | | - when "Cmd/Ctrl + K", "s" or "/" is pressed. |
85 | | - ([Sambit Sahoo](https://github.com/soulsam480)) |
86 | | - |
87 | | -- `gleam deps` now supports `tree` operation that lists the dependency tree. |
88 | | - |
89 | | - ```markdown |
90 | | - Usage: gleam deps tree [OPTIONS] |
91 | | - |
92 | | - Options: |
93 | | - -p, --package <PACKAGE> Package to be used as the root of the tree |
94 | | - -i, --invert <PACKAGE> Invert the tree direction and focus on the given package |
95 | | - -h, --help Print help |
96 | | - ``` |
97 | | - |
98 | | - For example, if the root project (`project_a`) depends on `package_b` and |
99 | | - `package_c`, and `package_c` also depends on `package_b`, the output will be: |
100 | | - |
101 | | - |
102 | | - ```markdown |
103 | | - $ gleam deps tree |
104 | | - |
105 | | - project_a v1.0.0 |
106 | | - ├── package_b v0.52.0 |
107 | | - └── package_c v1.2.0 |
108 | | - └── package_b v0.52.0 |
109 | | - |
110 | | - $ gleam deps tree --package package_c |
111 | | - |
112 | | - package_c v1.2.0 |
113 | | - └── package_b v0.52.0 |
114 | | - |
115 | | - $ gleam deps tree --invert package_b |
116 | | - |
117 | | - package_b v0.52.0 |
118 | | - ├── package_c v1.2.0 |
119 | | - │ └── project_a v1.0.0 |
120 | | - └── project_a v1.0.0 |
121 | | - |
122 | | - ``` |
123 | | - |
124 | | - ([Ramkarthik Krishnamurthy](https://github.com/ramkarthik)) |
125 | | - |
126 | | -- The build tool now checks for modules that would collide with the new Erlang |
127 | | - `json` module in addition to the existing Erlang modules it already checked |
128 | | - for. |
129 | | - ([Louis Pilfold](https://github.com/lpil)) |
130 | | - |
131 | | -### Language server |
132 | | - |
133 | | -- The language server can now generate the definition of functions that do not |
134 | | - exist in the current file. For example if I write the following piece of code: |
135 | | - |
136 | | - ```gleam |
137 | | - import gleam/io |
138 | | -
|
139 | | - pub type Pokemon { |
140 | | - Pokemon(pokedex_number: Int, name: String) |
141 | | - } |
142 | | -
|
143 | | - pub fn main() { |
144 | | - io.println(to_string(pokemon)) |
145 | | - // ^ If you put your cursor over this function that is |
146 | | - // not implemented yet |
147 | | - } |
148 | | - ``` |
149 | | - |
150 | | - Triggering the "generate function" code action, the language server will |
151 | | - generate the following function for you: |
152 | | - |
153 | | - ```gleam |
154 | | - fn to_string(pokemon: Pokemon) -> String { |
155 | | - todo |
156 | | - } |
157 | | - ``` |
158 | | - |
159 | | - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) |
160 | | - |
161 | | -- The language server can now fill in the labels of any function call, even when |
162 | | - only some of the arguments are provided. For example: |
163 | | - |
164 | | - ```gleam |
165 | | - import gleam/string |
166 | | -
|
167 | | - pub fn main() { |
168 | | - string.replace("wibble") |
169 | | - } |
170 | | - ``` |
171 | | - |
172 | | - Will be completed to: |
173 | | - |
174 | | - ```gleam |
175 | | - import gleam/string |
176 | | -
|
177 | | - pub fn main() { |
178 | | - string.replace("wibble", each: todo, with: todo) |
179 | | - } |
180 | | - ``` |
181 | | - |
182 | | - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) |
183 | | - |
184 | | -- The language server now suggests a code action to pattern match on a |
185 | | - function's argument. For example: |
186 | | - |
187 | | - ```gleam |
188 | | - pub type Pokemon { |
189 | | - Pokemon(pokedex_number: Int, name: String) |
190 | | - } |
191 | | -
|
192 | | - pub fn to_string(pokemon: Pokemon) { |
193 | | - // ^ If you put your cursor over the argument |
194 | | - todo |
195 | | - } |
196 | | - ``` |
197 | | - |
198 | | - Triggering the code action on the `pokemon` argument will generate the |
199 | | - following code for you: |
200 | | - |
201 | | - ```gleam |
202 | | - pub type Pokemon { |
203 | | - Pokemon(pokedex_number: Int, name: String) |
204 | | - } |
205 | | -
|
206 | | - pub fn to_string(pokemon: Pokemon) { |
207 | | - let Pokemon(pokedex_number:, name:) = pokemon |
208 | | - todo |
209 | | - } |
210 | | - ``` |
211 | | - |
212 | | - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) |
213 | | - |
214 | | -- The language server now suggests a code action to pattern match on a variable. |
215 | | - For example: |
216 | | - |
217 | | - ```gleam |
218 | | - pub fn main() { |
219 | | - let result = list.first(a_list) |
220 | | - // ^ If you put your cursor over the variable |
221 | | - todo |
222 | | - } |
223 | | - ``` |
224 | | - |
225 | | - Triggering the code action on the `result` variable will generate the |
226 | | - following code for you: |
227 | | - |
228 | | - ```gleam |
229 | | - pub fn main() { |
230 | | - let result = list.first(a_list) |
231 | | - case result { |
232 | | - Ok(value) -> todo |
233 | | - Error(value) -> todo |
234 | | - } |
235 | | - todo |
236 | | - } |
237 | | - ``` |
238 | | - |
239 | | - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) |
240 | | - |
241 | | -- When generating functions or variables, the language server can now pick |
242 | | - better names using the type of the code it's generating. |
243 | | - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) |
244 | | - |
245 | | -- The Language Server now provides the ability to rename local variables. |
246 | | - For example: |
247 | | - |
248 | | - ```gleam |
249 | | - pub fn main() { |
250 | | - let wibble = 10 |
251 | | - // ^ If you put your cursor here, and trigger a rename |
252 | | - wibble + 1 |
253 | | - } |
254 | | - ``` |
255 | | - |
256 | | - Triggering a rename and entering `my_number` results in this code: |
257 | | - |
258 | | - |
259 | | - ```gleam |
260 | | - pub fn main() { |
261 | | - let my_number = 10 |
262 | | - my_number + 1 |
263 | | - } |
264 | | - ``` |
265 | | - |
266 | | - ([Surya Rose](https://github.com/GearsDatapacks)) |
267 | | - |
268 | | -- `Unqualify` Action now get triggered when hovering over the module name |
269 | | - for record value constructor. |
270 | | - For example: |
271 | | - |
272 | | - ```gleam |
273 | | - pub fn main() { |
274 | | - let my_option = option.Some(1) |
275 | | - // ^ would trigger "Unqualify option.Some" |
276 | | - } |
277 | | - ``` |
278 | | - ([Jiangda Wang](https://github.com/Frank-III)) |
279 | | - |
280 | | -### Formatter |
| 3 | +## v1.8.1 - 2025-02-11 |
281 | 4 |
|
282 | 5 | ### Bug fixes |
283 | 6 |
|
284 | | -- Fixed a bug where the "convert from use" code action would generate invalid |
285 | | - code for use expressions ending with a trailing comma. |
286 | | - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) |
287 | | - |
288 | | -- Fixed a bug where floats outside of Erlang's floating point range were not |
289 | | - causing errors. |
290 | | - ([shayan](https://github.com/massivefermion)) |
291 | | - |
292 | | -- Fixed a bug where build tool could fail to add new dependencies when |
293 | | - dependencies with optional dependencies are present in the manifest. |
| 7 | +- Fixed a metadata caching bug where accessors for opaque types could sometimes |
| 8 | + be used in other modules. |
294 | 9 | ([Louis Pilfold](https://github.com/lpil)) |
295 | | - |
296 | | -- Fixed a bug where a block expression containing a singular record update would |
297 | | - produce invalid erlang. |
298 | | - ([yoshi](https://github.com/joshi-monster)) |
299 | | - |
300 | | -- Fixed a typo in the error message when trying to import a test module into an |
301 | | - application module. |
302 | | - ([John Strunk](https://github.com/jrstrunk)) |
303 | | - |
304 | | -- Fixed a bug where the "Extract variable" code action would erroneously extract |
305 | | - a pipeline step as a variable. |
306 | | - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) |
307 | | - |
308 | | -- Fixed a bug where variables bound in `let assert` assignments would be allowed |
309 | | - to be used in the custom panic message. |
310 | | - ([Surya Rose](https://github.com/GearsDatapacks)) |
0 commit comments