+1 -541

CHANGELOG.md

View file Reviewed

··· 1 1 # Changelog 2 2 3 3 - ## v1.10.0 - 2025-04-14 4 4 - 5 5 - ### Bug fixes 6 6 - 7 7 - - Fixed a bug where the code action to unqualify types and values would add an 8 8 - unqualified import even if it was already imported. 9 9 - ([Surya Rose](https://github.com/GearsDatapacks)) 10 10 - 11 11 - - Fixed a bug where numbers starting with `0x_`, `0o_` and `0b_` would cause 12 12 - a syntax error when compiling to JavaScript. 13 13 - ([Surya Rose](https://github.com/GearsDatapacks)) 14 14 - 15 15 - ## v1.10.0-rc1 - 2025-04-05 3 3 + ## Unreleased 16 4 17 5 ### Compiler 18 6 19 19 - - On the JavaScript target, bit arrays can now use the `unit` option to control 20 20 - the units of the `size` option. 21 21 - ([Surya Rose](https://github.com/GearsDatapacks)) 22 22 - 23 23 - - The compiler can now tell if string branches are unreachable. For example, the 24 24 - following code: 25 25 - 26 26 - ```gleam 27 27 - case a_string { 28 28 - "Hello, " <> name -> name 29 29 - "Hello, Jak" -> "Jak" 30 30 - _ -> "Stranger" 31 31 - } 32 32 - ``` 33 33 - 34 34 - Will raise the following warning: 35 35 - 36 36 - ``` 37 37 - warning: Unreachable case clause 38 38 - ┌─ /src/greet.gleam:7:5 39 39 - │ 40 40 - 7 │ "Hello, Jak" -> "Jak" 41 41 - │ ^^^^^^^^^^^^^^^^^^^^^ 42 42 - 43 43 - This case clause cannot be reached as a previous clause matches the same 44 44 - values. 45 45 - 46 46 - Hint: It can be safely removed. 47 47 - ``` 48 48 - 49 49 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 50 50 - 51 51 - - On the JavaScript target, blocks and various other expressions no longer 52 52 - compile to immediately invoked function expressions. 53 53 - ([Surya Rose](https://github.com/GearsDatapacks)) 54 54 - 55 55 - - On the JavaScript target, bit arrays can now use 16-bit floats in expressions 56 56 - and patterns. 57 57 - ([Richard Viney](https://github.com/richard-viney)) 58 58 - 59 59 - - Improved the error message for unknown and missing target names in the 60 60 - `@target` attribute. 61 61 - ([Alexander Keleschovsky](https://github.com/AlecGhost)) 62 62 - 63 63 - - The compiler now uses a call graph for detecting unused types and values. 64 64 - This means that among other things, it can now detect unused recursive 65 65 - functions. For example: 66 66 - 67 67 - ```gleam 68 68 - // warning: unused 69 69 - fn some_recursive_function() { 70 70 - some_recursive_function() 71 71 - } 72 72 - ``` 73 73 - 74 74 - ([Surya Rose](https://github.com/GearsDatapacks)) 75 75 - 76 76 - - The compiler now emits a warning when using `let assert` to assert a value 77 77 - whose variant has already been inferred. For example: 78 78 - 79 79 - ```gleam 80 80 - // warning: This will always crash 81 81 - let assert Ok(_) = Error("Some error") 82 82 - ``` 83 83 - 84 84 - ([Surya Rose](https://github.com/GearsDatapacks)) 85 85 - 86 86 - - It is now possible to omit the `:float` option for literal floats used in a 87 87 - `BitArray` segment. 88 88 - 89 89 - ```gleam 90 90 - <<1.11>> 91 91 - ``` 92 92 - 93 93 - Is the same as: 94 94 - 95 95 - ```gleam 96 96 - <<1.11:float>> 97 97 - ``` 98 98 - 99 99 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 100 100 - 101 101 - - Compilation of binary operators is now fault tolerant and won't stop at the 102 102 - first type error. 103 103 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 104 104 - 105 105 - - The compiler now provides a better error message when using the wrong operator 106 106 - to try and join two strings together. For example: 107 107 - 108 108 - ```txt 109 109 - error: Type mismatch 110 110 - ┌─ /src/wibble.gleam:2:13 111 111 - │ 112 112 - 2 │ "Hello, " + "Lucy" 113 113 - │ ^ Use <> instead 114 114 - 115 115 - The + operator can only be used on Ints. 116 116 - To join two strings together you can use the <> operator. 117 117 - ``` 118 118 - 119 119 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 120 120 - 121 121 - - The compiler now provides a better error message when using an Int operator on 122 122 - Float values, suggesting the correct replacement. For example: 123 123 - 124 124 - ```txt 125 125 - error: Type mismatch 126 126 - ┌─ /Users/giacomocavalieri/Desktop/prova/src/prova.gleam:2:7 127 127 - │ 128 128 - 2 │ 1.0 + 2.0 129 129 - │ ^ Use +. instead 130 130 - 131 131 - The + operator can only be used on Ints. 132 132 - ``` 133 133 - 134 134 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 135 135 - 136 136 - - The compiler now provides a better error message when using a Float operator 137 137 - on Int values, suggesting the correct replacement. For example: 138 138 - 139 139 - ```txt 140 140 - error: Type mismatch 141 141 - ┌─ /Users/giacomocavalieri/Desktop/prova/src/prova.gleam:2:5 142 142 - │ 143 143 - 2 │ 1 >. 2 144 144 - │ ^^ Use > instead 145 145 - 146 146 - The >. operator can only be used on Floats. 147 147 - ``` 148 148 - 149 149 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 150 150 - 151 151 - - The compiler no longer shows errors for a function's labels if the called 152 152 - function itself doesn't exist. 153 153 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 154 154 - 155 7 ### Build tool 156 8 157 157 - - Include a type annotation for the `main` function generated by `gleam new`. 158 158 - ([Drew Olson](https://github.com/drewolson)) 159 159 - 160 160 - - Two entry point scripts are now always generated by `gleam export erlang-shipment`: 161 161 - 162 162 - - `entrypoint.sh` for POSIX Shell 163 163 - - `entrypoint.ps1` for PowerShell 164 164 - 165 165 - ([Greg Burri](https://github.com/ummon)) 166 166 - 167 167 - - The `gleam export` command now takes a `package-information` option to 168 168 - export the project's `gleam.toml` as a JSON file. 169 169 - ([Rodrigo Álvarez](https://github.com/Papipo)) 170 170 - 171 171 - - Improved the error message when failing to encrypt or decrypt a local 172 172 - Hex API key. 173 173 - ([Samuel Cristobal](https://github.com/scristobal)) 174 174 - 175 175 - - The `HEXPM_USER` and `HEXPM_PASS` environment variables when running 176 176 - `gleam publish` have been deprecated in favour of `HEXPM_API_KEY`. 177 177 - ([Samuel Cristobal](https://github.com/scristobal)) 178 178 - 179 179 - - The "functions" and "constants" sections of generated HTML documentation have 180 180 - been merged into one "values" section. 181 181 - ([Sam Zanca](https://github.com/metruzanca)) 182 182 - 183 9 ### Language server 184 10 185 185 - - The language server now allows renaming of functions, constants, 186 186 - custom type variants and custom types across modules. For example: 187 187 - 188 188 - ```gleam 189 189 - // wibble.gleam 190 190 - pub fn wibble() { 191 191 - wibble() 192 192 - //^ Trigger rename 193 193 - } 194 194 - // wobble.gleam 195 195 - import wibble 196 196 - 197 197 - pub fn main() { 198 198 - wibble.wibble() 199 199 - } 200 200 - ``` 201 201 - 202 202 - Becomes: 203 203 - 204 204 - ```gleam 205 205 - // wibble.gleam 206 206 - pub fn wobble() { 207 207 - wobble() 208 208 - } 209 209 - // wobble.gleam 210 210 - import wibble 211 211 - 212 212 - pub fn main() { 213 213 - wibble.wobble() 214 214 - } 215 215 - ``` 216 216 - 217 217 - ([Surya Rose](https://github.com/GearsDatapacks)) 218 218 - 219 219 - - The language server can now offer a code action to replace a `..` in a pattern 220 220 - with all the fields that are being ignored. For example triggering the code 221 221 - action on this spread: 222 222 - 223 223 - ```gleam 224 224 - pub type Pokemon { 225 225 - Pokemon(id: Int, name: String, moves: List(String)) 226 226 - } 227 227 - 228 228 - pub fn main() { 229 229 - let Pokemon(..) = todo 230 230 - // ^ If you put your cursor here 231 231 - } 232 232 - ``` 233 233 - 234 234 - Would generate the following code: 235 235 - 236 236 - ```gleam 237 237 - pub type Pokemon { 238 238 - Pokemon(id: Int, name: String, moves: List(String)) 239 239 - } 240 240 - 241 241 - pub fn main() { 242 242 - let Pokemon(id:, name:, moves:) = todo 243 243 - } 244 244 - ``` 245 245 - 246 246 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 247 247 - 248 248 - - The function generated by the "Generate JSON encoder" code action has been 249 249 - slightly modified so that it will now fail to compile if the type has new 250 250 - fields added, ensuring the programmer remembers to re-run the code action. 251 251 - For example, for this type: 252 252 - 253 253 - ```gleam 254 254 - type Person { 255 255 - Person(name: String, age: Int) 256 256 - } 257 257 - ``` 258 258 - 259 259 - The following code used to be generated: 260 260 - 261 261 - ```gleam 262 262 - fn encode_person(person: Person) -> json.Json { 263 263 - json.object([ 264 264 - #("name", json.string(person.name)), 265 265 - #("age", json.int(person.age)), 266 266 - ]) 267 267 - } 268 268 - ``` 269 269 - 270 270 - But now, this code is generated: 271 271 - 272 272 - ```gleam 273 273 - fn encode_person(person: Person) -> json.Json { 274 274 - let Person(name:, age:) = person 275 275 - json.object([ 276 276 - #("name", json.string(name)), 277 277 - #("age", json.int(age)), 278 278 - ]) 279 279 - } 280 280 - ``` 281 281 - 282 282 - ([Surya Rose](https://github.com/GearsDatapacks)) 283 283 - 284 284 - - The language server now supports finding references to values and types, 285 285 - both within a module and across multiple modules. 286 286 - ([Surya Rose](https://github.com/GearsDatapacks)) 287 287 - 288 288 - - The language server now offers a code action to remove all `echo`s in a 289 289 - module. For example: 290 290 - 291 291 - ```gleam 292 292 - pub fn main() { 293 293 - [1, 2, 3] 294 294 - |> echo 295 295 - // ^^^^ If you put your cursor over here 296 296 - |> list.filter(int.is_even) 297 297 - |> echo 298 298 - } 299 299 - ``` 300 300 - 301 301 - Triggering the code action would remove all the `echo` pipeline steps: 302 302 - 303 303 - ```gleam 304 304 - pub fn main() { 305 305 - [1, 2, 3] 306 306 - |> list.filter(int.is_even) 307 307 - } 308 308 - ``` 309 309 - 310 310 - This also works with all the `echo`s used before an expression: 311 311 - 312 312 - ```gleam 313 313 - pub fn main() { 314 314 - echo 1 + 2 315 315 - //^^^^^^^^^^ If hovering anywhere over here 316 316 - } 317 317 - ``` 318 318 - 319 319 - Triggering the code action would remove the `echo`: 320 320 - 321 321 - ```gleam 322 322 - pub fn main() { 323 323 - 1 + 2 324 324 - } 325 325 - ``` 326 326 - 327 327 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 328 328 - 329 329 - - The language server now offers a code action to replace a Float operator used 330 330 - on Int values with the correct operator. For example: 331 331 - 332 332 - ```gleam 333 333 - pub fn main() { 334 334 - 11 +. 1 335 335 - //^^^^^^^ When hovering anywhere over here 336 336 - } 337 337 - ``` 338 338 - 339 339 - Triggering the code action would fix the compilation error by using the 340 340 - correct Int operator: 341 341 - 342 342 - ```gleam 343 343 - pub fn main() { 344 344 - 11 + 1 345 345 - } 346 346 - ``` 347 347 - 348 348 - This also works the other way around: 349 349 - 350 350 - ```gleam 351 351 - pub fn main() { 352 352 - 1.1 + 10.0 353 353 - //^^^^^^^^^^ If hovering anywhere over here 354 354 - } 355 355 - ``` 356 356 - 357 357 - Triggering the code action would replace the wrong operator with the correct 358 358 - equivalent Float operator: 359 359 - 360 360 - ```gleam 361 361 - pub fn main() { 362 362 - 1.1 +. 10.0 363 363 - } 364 364 - ``` 365 365 - 366 366 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 367 367 - 368 368 - - If there's a compilation error because two strings are being joined with the 369 369 - wrong `+` operator (instead of using `<>`), the language server now offers a 370 370 - code action to fix the error automatically. For example: 371 371 - 372 372 - ```gleam 373 373 - pub fn main() { 374 374 - "Hello, " + "Jak" 375 375 - //^^^^^^^^^^^^^^^^^ When hovering anywhere over here 376 376 - } 377 377 - ``` 378 378 - 379 379 - Triggering the code action would fix the compilation error by using the 380 380 - correct `<>` operator instead of `+`: 381 381 - 382 382 - ```gleam 383 383 - pub fn main() { 384 384 - "Hello, " <> "Jak" 385 385 - } 386 386 - ``` 387 387 - 388 388 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 389 389 - 390 390 - - The language server now offers the option to lift expressions into consts. 391 391 - For example, in two uses of the code action: 392 392 - 393 393 - ```gleam 394 394 - pub fn main() { 395 395 - [#("a", 0), #("b", 1), #("a", 2)] 396 396 - |> key_filter("a") 397 397 - } 398 398 - ``` 399 399 - 400 400 - Becomes: 401 401 - 402 402 - ```gleam 403 403 - const values = [#("a", 0), #("b", 1), #("a", 2)] 404 404 - 405 405 - const string = "a" 406 406 - 407 407 - pub fn main() { 408 408 - values 409 409 - |> key_filter(string) 410 410 - } 411 411 - ``` 412 412 - 413 413 - ([Matias Carlander](https://github.com/matiascr)) 414 414 - 415 415 - - The language server will now only offer the code action to generate a JSON 416 416 - encoder if the `gleam_json` package is installed as a dependency. 417 417 - ([Surya Rose](https://github.com/GearsDatapacks)) 418 418 - 419 419 - - The language server will offer to wrap assignment or case clause values in 420 420 - blocks. Useful when adding more expressions to an existing case clause or 421 421 - variable assignment. 422 422 - 423 423 - ```gleam 424 424 - pub fn f(pokemon_type: PokemonType) { 425 425 - case pokemon_type { 426 426 - Water -> soak() 427 427 - // ^^^^^^ selecting the right-hand side of the `->` in a clause 428 428 - Fire -> burn() 429 429 - } 430 430 - } 431 431 - ``` 432 432 - 433 433 - Becomes 434 434 - 435 435 - ```gleam 436 436 - pub fn f(pokemon_type: PokemonType) { 437 437 - case pokemon_type { 438 438 - Water -> { 439 439 - soak() 440 440 - } 441 441 - Fire -> burn() 442 442 - } 443 443 - } 444 444 - ``` 445 445 - 446 446 - ([Matias Carlander](https://github.com/matiascr)) 447 447 - 448 448 - - The "Generate function" code action now uses labels or variable names to improve 449 449 - the names of generated arguments. For example: 450 450 - 451 451 - ```gleam 452 452 - pub fn main() { 453 453 - let language = English 454 454 - greet(language, name: "Louis") 455 455 - } 456 456 - ``` 457 457 - 458 458 - Will generate the following function: 459 459 - 460 460 - ```gleam 461 461 - pub fn greet(language: String, name name: String) -> a { 462 462 - todo 463 463 - } 464 464 - ``` 465 465 - 466 466 - ([Surya Rose](https://github.com/GearsDatapacks)) 467 467 - 468 468 - - The "Rewrite from `use`" code action now only triggers if the cursor is on the 469 469 - first line of the `use` expression to rewrite. 470 470 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 471 471 - 472 11 ### Formatter 473 12 474 474 - ### Container images 475 475 - 476 476 - - Container images now contain Software Bill of Materials (SBoM) and SLSA 477 477 - Provenance information. 478 478 - ([Jonatan Männchen](https://github.com/maennchen)) 479 479 - 480 13 ### Bug fixes 481 481 - 482 482 - - Fixed a bug where tuples with atoms in the first position could be 483 483 - incorrectly formatted by `echo`. 484 484 - ([Louis Pilfold](https://github.com/lpil)) 485 485 - 486 486 - - Fixed a bug where unlabelled arguments would be allowed after labelled 487 487 - arguments in variant constructor definitions. 488 488 - ([Surya Rose](https://github.com/GearsDatapacks)) 489 489 - 490 490 - - Fixed a bug where using the "Convert to pipe" code action on a function whose 491 491 - first argument is itself a pipe would result in invalid code. 492 492 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 493 493 - 494 494 - - Fixed a bug where using the "Convert to pipe" code action on a function or 495 495 - record capture produces invalid code. 496 496 - ([Matias Carlander](https://github.com/matiascr)) 497 497 - 498 498 - - Fixed a bug where a temporarily moved or removed file does not get recompiled, 499 499 - even though its dependencies changed in the meanwhile. 500 500 - ([Sakari Bergen](http://github.com/sbergen)) 501 501 - 502 502 - - Fixed a bug where the "Inline variable" code action would not work properly 503 503 - if used inside a record update. 504 504 - ([Surya Rose](https://github.com/GearsDatapacks)) 505 505 - 506 506 - - Fixed a bug where variant inference wouldn't work on `let assert` assignments. 507 507 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 508 508 - 509 509 - - Fixed a bug where the build tool could fail to lock the build directory but 510 510 - not report an error. 511 511 - ([Louis Pilfold](https://github.com/lpil)) 512 512 - 513 513 - - Fixed a bug where the language server would be too eager to recompile modules 514 514 - when it could use the cache from previous compilations. 515 515 - ([Louis Pilfold](https://github.com/lpil)) 516 516 - 517 517 - - Fixed a bug where `let assert` would not assert that the given value matched 518 518 - the pattern if it was the only expression inside a block. 519 519 - ([Surya Rose](https://github.com/GearsDatapacks)) 520 520 - 521 521 - - Fixed a bug where the code generated for `echo` on JavaScript could have name 522 522 - collisions if there are functions called `console` or `process`, or custom type 523 523 - variants called `Object` or `Deno` defined in the module. 524 524 - ([Louis Pilfold](https://github.com/lpil)) 525 525 - 526 526 - - Fixed a bug where the language server would stop working if the build 527 527 - directory was deleted e.g. as a result of `gleam clean`. 528 528 - ([Sakari Bergen](https://github.com/sbergen)) 529 529 - 530 530 - - Fixed a bug where the "Rewrite to pipe" code action could generate invalid 531 531 - code when the piped argument was a binary operation. 532 532 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 533 533 - 534 534 - - Fixed a bug where prelude types and values would be suggested in autocomplete 535 535 - when part of a module select. 536 536 - ([Surya Rose](https://github.com/GearsDatapacks)) 537 537 - 538 538 - - Fixed a bug where the check for multiple top-level modules when publishing 539 539 - would incorrectly print a warning. 540 540 - ([Surya Rose](https://github.com/GearsDatapacks)) 541 541 - 542 542 - ## v1.9.1 - 2025-03-10 543 543 - 544 544 - ### Formatter 545 545 - 546 546 - - Improved the formatting of pipelines printed with `echo`. 547 547 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 548 548 - 549 549 - ### Bug fixes 550 550 - 551 551 - - Fixed a bug where `echo` used before a pipeline would generate invalid code 552 552 - for the Erlang target. 553 553 - ([Giacomo Cavalieri](https://github.com/giacomocavalieri))

+553

changelog/v1.10.md

View file Reviewed

··· 1 1 + # Changelog 2 2 + 3 3 + ## v1.10.0 - 2025-04-14 4 4 + 5 5 + ### Bug fixes 6 6 + 7 7 + - Fixed a bug where the code action to unqualify types and values would add an 8 8 + unqualified import even if it was already imported. 9 9 + ([Surya Rose](https://github.com/GearsDatapacks)) 10 10 + 11 11 + - Fixed a bug where numbers starting with `0x_`, `0o_` and `0b_` would cause 12 12 + a syntax error when compiling to JavaScript. 13 13 + ([Surya Rose](https://github.com/GearsDatapacks)) 14 14 + 15 15 + ## v1.10.0-rc1 - 2025-04-05 16 16 + 17 17 + ### Compiler 18 18 + 19 19 + - On the JavaScript target, bit arrays can now use the `unit` option to control 20 20 + the units of the `size` option. 21 21 + ([Surya Rose](https://github.com/GearsDatapacks)) 22 22 + 23 23 + - The compiler can now tell if string branches are unreachable. For example, the 24 24 + following code: 25 25 + 26 26 + ```gleam 27 27 + case a_string { 28 28 + "Hello, " <> name -> name 29 29 + "Hello, Jak" -> "Jak" 30 30 + _ -> "Stranger" 31 31 + } 32 32 + ``` 33 33 + 34 34 + Will raise the following warning: 35 35 + 36 36 + ``` 37 37 + warning: Unreachable case clause 38 38 + ┌─ /src/greet.gleam:7:5 39 39 + │ 40 40 + 7 │ "Hello, Jak" -> "Jak" 41 41 + │ ^^^^^^^^^^^^^^^^^^^^^ 42 42 + 43 43 + This case clause cannot be reached as a previous clause matches the same 44 44 + values. 45 45 + 46 46 + Hint: It can be safely removed. 47 47 + ``` 48 48 + 49 49 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 50 50 + 51 51 + - On the JavaScript target, blocks and various other expressions no longer 52 52 + compile to immediately invoked function expressions. 53 53 + ([Surya Rose](https://github.com/GearsDatapacks)) 54 54 + 55 55 + - On the JavaScript target, bit arrays can now use 16-bit floats in expressions 56 56 + and patterns. 57 57 + ([Richard Viney](https://github.com/richard-viney)) 58 58 + 59 59 + - Improved the error message for unknown and missing target names in the 60 60 + `@target` attribute. 61 61 + ([Alexander Keleschovsky](https://github.com/AlecGhost)) 62 62 + 63 63 + - The compiler now uses a call graph for detecting unused types and values. 64 64 + This means that among other things, it can now detect unused recursive 65 65 + functions. For example: 66 66 + 67 67 + ```gleam 68 68 + // warning: unused 69 69 + fn some_recursive_function() { 70 70 + some_recursive_function() 71 71 + } 72 72 + ``` 73 73 + 74 74 + ([Surya Rose](https://github.com/GearsDatapacks)) 75 75 + 76 76 + - The compiler now emits a warning when using `let assert` to assert a value 77 77 + whose variant has already been inferred. For example: 78 78 + 79 79 + ```gleam 80 80 + // warning: This will always crash 81 81 + let assert Ok(_) = Error("Some error") 82 82 + ``` 83 83 + 84 84 + ([Surya Rose](https://github.com/GearsDatapacks)) 85 85 + 86 86 + - It is now possible to omit the `:float` option for literal floats used in a 87 87 + `BitArray` segment. 88 88 + 89 89 + ```gleam 90 90 + <<1.11>> 91 91 + ``` 92 92 + 93 93 + Is the same as: 94 94 + 95 95 + ```gleam 96 96 + <<1.11:float>> 97 97 + ``` 98 98 + 99 99 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 100 100 + 101 101 + - Compilation of binary operators is now fault tolerant and won't stop at the 102 102 + first type error. 103 103 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 104 104 + 105 105 + - The compiler now provides a better error message when using the wrong operator 106 106 + to try and join two strings together. For example: 107 107 + 108 108 + ```txt 109 109 + error: Type mismatch 110 110 + ┌─ /src/wibble.gleam:2:13 111 111 + │ 112 112 + 2 │ "Hello, " + "Lucy" 113 113 + │ ^ Use <> instead 114 114 + 115 115 + The + operator can only be used on Ints. 116 116 + To join two strings together you can use the <> operator. 117 117 + ``` 118 118 + 119 119 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 120 120 + 121 121 + - The compiler now provides a better error message when using an Int operator on 122 122 + Float values, suggesting the correct replacement. For example: 123 123 + 124 124 + ```txt 125 125 + error: Type mismatch 126 126 + ┌─ /Users/giacomocavalieri/Desktop/prova/src/prova.gleam:2:7 127 127 + │ 128 128 + 2 │ 1.0 + 2.0 129 129 + │ ^ Use +. instead 130 130 + 131 131 + The + operator can only be used on Ints. 132 132 + ``` 133 133 + 134 134 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 135 135 + 136 136 + - The compiler now provides a better error message when using a Float operator 137 137 + on Int values, suggesting the correct replacement. For example: 138 138 + 139 139 + ```txt 140 140 + error: Type mismatch 141 141 + ┌─ /Users/giacomocavalieri/Desktop/prova/src/prova.gleam:2:5 142 142 + │ 143 143 + 2 │ 1 >. 2 144 144 + │ ^^ Use > instead 145 145 + 146 146 + The >. operator can only be used on Floats. 147 147 + ``` 148 148 + 149 149 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 150 150 + 151 151 + - The compiler no longer shows errors for a function's labels if the called 152 152 + function itself doesn't exist. 153 153 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 154 154 + 155 155 + ### Build tool 156 156 + 157 157 + - Include a type annotation for the `main` function generated by `gleam new`. 158 158 + ([Drew Olson](https://github.com/drewolson)) 159 159 + 160 160 + - Two entry point scripts are now always generated by `gleam export erlang-shipment`: 161 161 + 162 162 + - `entrypoint.sh` for POSIX Shell 163 163 + - `entrypoint.ps1` for PowerShell 164 164 + 165 165 + ([Greg Burri](https://github.com/ummon)) 166 166 + 167 167 + - The `gleam export` command now takes a `package-information` option to 168 168 + export the project's `gleam.toml` as a JSON file. 169 169 + ([Rodrigo Álvarez](https://github.com/Papipo)) 170 170 + 171 171 + - Improved the error message when failing to encrypt or decrypt a local 172 172 + Hex API key. 173 173 + ([Samuel Cristobal](https://github.com/scristobal)) 174 174 + 175 175 + - The `HEXPM_USER` and `HEXPM_PASS` environment variables when running 176 176 + `gleam publish` have been deprecated in favour of `HEXPM_API_KEY`. 177 177 + ([Samuel Cristobal](https://github.com/scristobal)) 178 178 + 179 179 + - The "functions" and "constants" sections of generated HTML documentation have 180 180 + been merged into one "values" section. 181 181 + ([Sam Zanca](https://github.com/metruzanca)) 182 182 + 183 183 + ### Language server 184 184 + 185 185 + - The language server now allows renaming of functions, constants, 186 186 + custom type variants and custom types across modules. For example: 187 187 + 188 188 + ```gleam 189 189 + // wibble.gleam 190 190 + pub fn wibble() { 191 191 + wibble() 192 192 + //^ Trigger rename 193 193 + } 194 194 + // wobble.gleam 195 195 + import wibble 196 196 + 197 197 + pub fn main() { 198 198 + wibble.wibble() 199 199 + } 200 200 + ``` 201 201 + 202 202 + Becomes: 203 203 + 204 204 + ```gleam 205 205 + // wibble.gleam 206 206 + pub fn wobble() { 207 207 + wobble() 208 208 + } 209 209 + // wobble.gleam 210 210 + import wibble 211 211 + 212 212 + pub fn main() { 213 213 + wibble.wobble() 214 214 + } 215 215 + ``` 216 216 + 217 217 + ([Surya Rose](https://github.com/GearsDatapacks)) 218 218 + 219 219 + - The language server can now offer a code action to replace a `..` in a pattern 220 220 + with all the fields that are being ignored. For example triggering the code 221 221 + action on this spread: 222 222 + 223 223 + ```gleam 224 224 + pub type Pokemon { 225 225 + Pokemon(id: Int, name: String, moves: List(String)) 226 226 + } 227 227 + 228 228 + pub fn main() { 229 229 + let Pokemon(..) = todo 230 230 + // ^ If you put your cursor here 231 231 + } 232 232 + ``` 233 233 + 234 234 + Would generate the following code: 235 235 + 236 236 + ```gleam 237 237 + pub type Pokemon { 238 238 + Pokemon(id: Int, name: String, moves: List(String)) 239 239 + } 240 240 + 241 241 + pub fn main() { 242 242 + let Pokemon(id:, name:, moves:) = todo 243 243 + } 244 244 + ``` 245 245 + 246 246 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 247 247 + 248 248 + - The function generated by the "Generate JSON encoder" code action has been 249 249 + slightly modified so that it will now fail to compile if the type has new 250 250 + fields added, ensuring the programmer remembers to re-run the code action. 251 251 + For example, for this type: 252 252 + 253 253 + ```gleam 254 254 + type Person { 255 255 + Person(name: String, age: Int) 256 256 + } 257 257 + ``` 258 258 + 259 259 + The following code used to be generated: 260 260 + 261 261 + ```gleam 262 262 + fn encode_person(person: Person) -> json.Json { 263 263 + json.object([ 264 264 + #("name", json.string(person.name)), 265 265 + #("age", json.int(person.age)), 266 266 + ]) 267 267 + } 268 268 + ``` 269 269 + 270 270 + But now, this code is generated: 271 271 + 272 272 + ```gleam 273 273 + fn encode_person(person: Person) -> json.Json { 274 274 + let Person(name:, age:) = person 275 275 + json.object([ 276 276 + #("name", json.string(name)), 277 277 + #("age", json.int(age)), 278 278 + ]) 279 279 + } 280 280 + ``` 281 281 + 282 282 + ([Surya Rose](https://github.com/GearsDatapacks)) 283 283 + 284 284 + - The language server now supports finding references to values and types, 285 285 + both within a module and across multiple modules. 286 286 + ([Surya Rose](https://github.com/GearsDatapacks)) 287 287 + 288 288 + - The language server now offers a code action to remove all `echo`s in a 289 289 + module. For example: 290 290 + 291 291 + ```gleam 292 292 + pub fn main() { 293 293 + [1, 2, 3] 294 294 + |> echo 295 295 + // ^^^^ If you put your cursor over here 296 296 + |> list.filter(int.is_even) 297 297 + |> echo 298 298 + } 299 299 + ``` 300 300 + 301 301 + Triggering the code action would remove all the `echo` pipeline steps: 302 302 + 303 303 + ```gleam 304 304 + pub fn main() { 305 305 + [1, 2, 3] 306 306 + |> list.filter(int.is_even) 307 307 + } 308 308 + ``` 309 309 + 310 310 + This also works with all the `echo`s used before an expression: 311 311 + 312 312 + ```gleam 313 313 + pub fn main() { 314 314 + echo 1 + 2 315 315 + //^^^^^^^^^^ If hovering anywhere over here 316 316 + } 317 317 + ``` 318 318 + 319 319 + Triggering the code action would remove the `echo`: 320 320 + 321 321 + ```gleam 322 322 + pub fn main() { 323 323 + 1 + 2 324 324 + } 325 325 + ``` 326 326 + 327 327 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 328 328 + 329 329 + - The language server now offers a code action to replace a Float operator used 330 330 + on Int values with the correct operator. For example: 331 331 + 332 332 + ```gleam 333 333 + pub fn main() { 334 334 + 11 +. 1 335 335 + //^^^^^^^ When hovering anywhere over here 336 336 + } 337 337 + ``` 338 338 + 339 339 + Triggering the code action would fix the compilation error by using the 340 340 + correct Int operator: 341 341 + 342 342 + ```gleam 343 343 + pub fn main() { 344 344 + 11 + 1 345 345 + } 346 346 + ``` 347 347 + 348 348 + This also works the other way around: 349 349 + 350 350 + ```gleam 351 351 + pub fn main() { 352 352 + 1.1 + 10.0 353 353 + //^^^^^^^^^^ If hovering anywhere over here 354 354 + } 355 355 + ``` 356 356 + 357 357 + Triggering the code action would replace the wrong operator with the correct 358 358 + equivalent Float operator: 359 359 + 360 360 + ```gleam 361 361 + pub fn main() { 362 362 + 1.1 +. 10.0 363 363 + } 364 364 + ``` 365 365 + 366 366 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 367 367 + 368 368 + - If there's a compilation error because two strings are being joined with the 369 369 + wrong `+` operator (instead of using `<>`), the language server now offers a 370 370 + code action to fix the error automatically. For example: 371 371 + 372 372 + ```gleam 373 373 + pub fn main() { 374 374 + "Hello, " + "Jak" 375 375 + //^^^^^^^^^^^^^^^^^ When hovering anywhere over here 376 376 + } 377 377 + ``` 378 378 + 379 379 + Triggering the code action would fix the compilation error by using the 380 380 + correct `<>` operator instead of `+`: 381 381 + 382 382 + ```gleam 383 383 + pub fn main() { 384 384 + "Hello, " <> "Jak" 385 385 + } 386 386 + ``` 387 387 + 388 388 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 389 389 + 390 390 + - The language server now offers the option to lift expressions into consts. 391 391 + For example, in two uses of the code action: 392 392 + 393 393 + ```gleam 394 394 + pub fn main() { 395 395 + [#("a", 0), #("b", 1), #("a", 2)] 396 396 + |> key_filter("a") 397 397 + } 398 398 + ``` 399 399 + 400 400 + Becomes: 401 401 + 402 402 + ```gleam 403 403 + const values = [#("a", 0), #("b", 1), #("a", 2)] 404 404 + 405 405 + const string = "a" 406 406 + 407 407 + pub fn main() { 408 408 + values 409 409 + |> key_filter(string) 410 410 + } 411 411 + ``` 412 412 + 413 413 + ([Matias Carlander](https://github.com/matiascr)) 414 414 + 415 415 + - The language server will now only offer the code action to generate a JSON 416 416 + encoder if the `gleam_json` package is installed as a dependency. 417 417 + ([Surya Rose](https://github.com/GearsDatapacks)) 418 418 + 419 419 + - The language server will offer to wrap assignment or case clause values in 420 420 + blocks. Useful when adding more expressions to an existing case clause or 421 421 + variable assignment. 422 422 + 423 423 + ```gleam 424 424 + pub fn f(pokemon_type: PokemonType) { 425 425 + case pokemon_type { 426 426 + Water -> soak() 427 427 + // ^^^^^^ selecting the right-hand side of the `->` in a clause 428 428 + Fire -> burn() 429 429 + } 430 430 + } 431 431 + ``` 432 432 + 433 433 + Becomes 434 434 + 435 435 + ```gleam 436 436 + pub fn f(pokemon_type: PokemonType) { 437 437 + case pokemon_type { 438 438 + Water -> { 439 439 + soak() 440 440 + } 441 441 + Fire -> burn() 442 442 + } 443 443 + } 444 444 + ``` 445 445 + 446 446 + ([Matias Carlander](https://github.com/matiascr)) 447 447 + 448 448 + - The "Generate function" code action now uses labels or variable names to improve 449 449 + the names of generated arguments. For example: 450 450 + 451 451 + ```gleam 452 452 + pub fn main() { 453 453 + let language = English 454 454 + greet(language, name: "Louis") 455 455 + } 456 456 + ``` 457 457 + 458 458 + Will generate the following function: 459 459 + 460 460 + ```gleam 461 461 + pub fn greet(language: String, name name: String) -> a { 462 462 + todo 463 463 + } 464 464 + ``` 465 465 + 466 466 + ([Surya Rose](https://github.com/GearsDatapacks)) 467 467 + 468 468 + - The "Rewrite from `use`" code action now only triggers if the cursor is on the 469 469 + first line of the `use` expression to rewrite. 470 470 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 471 471 + 472 472 + ### Formatter 473 473 + 474 474 + ### Container images 475 475 + 476 476 + - Container images now contain Software Bill of Materials (SBoM) and SLSA 477 477 + Provenance information. 478 478 + ([Jonatan Männchen](https://github.com/maennchen)) 479 479 + 480 480 + ### Bug fixes 481 481 + 482 482 + - Fixed a bug where tuples with atoms in the first position could be 483 483 + incorrectly formatted by `echo`. 484 484 + ([Louis Pilfold](https://github.com/lpil)) 485 485 + 486 486 + - Fixed a bug where unlabelled arguments would be allowed after labelled 487 487 + arguments in variant constructor definitions. 488 488 + ([Surya Rose](https://github.com/GearsDatapacks)) 489 489 + 490 490 + - Fixed a bug where using the "Convert to pipe" code action on a function whose 491 491 + first argument is itself a pipe would result in invalid code. 492 492 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 493 493 + 494 494 + - Fixed a bug where using the "Convert to pipe" code action on a function or 495 495 + record capture produces invalid code. 496 496 + ([Matias Carlander](https://github.com/matiascr)) 497 497 + 498 498 + - Fixed a bug where a temporarily moved or removed file does not get recompiled, 499 499 + even though its dependencies changed in the meanwhile. 500 500 + ([Sakari Bergen](http://github.com/sbergen)) 501 501 + 502 502 + - Fixed a bug where the "Inline variable" code action would not work properly 503 503 + if used inside a record update. 504 504 + ([Surya Rose](https://github.com/GearsDatapacks)) 505 505 + 506 506 + - Fixed a bug where variant inference wouldn't work on `let assert` assignments. 507 507 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 508 508 + 509 509 + - Fixed a bug where the build tool could fail to lock the build directory but 510 510 + not report an error. 511 511 + ([Louis Pilfold](https://github.com/lpil)) 512 512 + 513 513 + - Fixed a bug where the language server would be too eager to recompile modules 514 514 + when it could use the cache from previous compilations. 515 515 + ([Louis Pilfold](https://github.com/lpil)) 516 516 + 517 517 + - Fixed a bug where `let assert` would not assert that the given value matched 518 518 + the pattern if it was the only expression inside a block. 519 519 + ([Surya Rose](https://github.com/GearsDatapacks)) 520 520 + 521 521 + - Fixed a bug where the code generated for `echo` on JavaScript could have name 522 522 + collisions if there are functions called `console` or `process`, or custom type 523 523 + variants called `Object` or `Deno` defined in the module. 524 524 + ([Louis Pilfold](https://github.com/lpil)) 525 525 + 526 526 + - Fixed a bug where the language server would stop working if the build 527 527 + directory was deleted e.g. as a result of `gleam clean`. 528 528 + ([Sakari Bergen](https://github.com/sbergen)) 529 529 + 530 530 + - Fixed a bug where the "Rewrite to pipe" code action could generate invalid 531 531 + code when the piped argument was a binary operation. 532 532 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 533 533 + 534 534 + - Fixed a bug where prelude types and values would be suggested in autocomplete 535 535 + when part of a module select. 536 536 + ([Surya Rose](https://github.com/GearsDatapacks)) 537 537 + 538 538 + - Fixed a bug where the check for multiple top-level modules when publishing 539 539 + would incorrectly print a warning. 540 540 + ([Surya Rose](https://github.com/GearsDatapacks)) 541 541 + 542 542 + ## v1.9.1 - 2025-03-10 543 543 + 544 544 + ### Formatter 545 545 + 546 546 + - Improved the formatting of pipelines printed with `echo`. 547 547 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri)) 548 548 + 549 549 + ### Bug fixes 550 550 + 551 551 + - Fixed a bug where `echo` used before a pipeline would generate invalid code 552 552 + for the Erlang target. 553 553 + ([Giacomo Cavalieri](https://github.com/giacomocavalieri))