[ruby-core:117833] [Ruby master Bug#20482] nil variables in a guard clause of a standalone => or in expression

[ruby-core:117833] [Ruby master Bug#20482] nil variables in a guard clause of a standalone => or in expression

[Soilent (Konstantin x) via ruby-core]

Issue #20482 has been reported by Soilent (Konstantin x).

----------------------------------------
Bug #20482: nil variables in a guard clause of a standalone => or in expression
https://bugs.ruby-lang.org/issues/20482

* Author: Soilent (Konstantin x)
* Status: Open
* ruby -v: ruby 3.3.0 (2023-12-25 revision 5124f9ac75) [arm64-darwin23]
* Backport: 3.1: UNKNOWN, 3.2: UNKNOWN, 3.3: UNKNOWN
----------------------------------------

The following expression produces a TypeError, which is quite unexpected:
```ruby
[1, 2] in a, b if b == 2*a
```
```
x.rb:1:in `*': nil can't be coerced into Integer (TypeError)

[1, 2] in a, b if b == 2*a
                         ^
        from x.rb:1:in `<main>'
```

The expression above should be equivalent to the following one, which works as expected:
```ruby
case [1, 2]
in a, b if b == 2*a
  true
else
  false
end
# => true
```

Apologies in advance if this is intentional or has been reported before.



-- 
https://bugs.ruby-lang.org/
 ______________________________________________
 ruby-core mailing list -- ruby-core@ml.ruby-lang.org
 To unsubscribe send an email to ruby-core-leave@ml.ruby-lang.org
 ruby-core info -- https://ml.ruby-lang.org/mailman3/postorius/lists/ruby-core.ml.ruby-lang.org/

[ruby-core:117836] [Ruby master Bug#20482] nil variables in a guard clause of a standalone => or in expression

[nobu (Nobuyoshi Nakada) via ruby-core]

Issue #20482 has been updated by nobu (Nobuyoshi Nakada).


One-line pattern matching can not have a guard clause, so the `if` in the first example is a modifier `if` and is evaluated before the pattern matching.
In short, it should be intentional, I think.

----------------------------------------
Bug #20482: nil variables in a guard clause of a standalone => or in expression
https://bugs.ruby-lang.org/issues/20482#change-108240

* Author: Soilent (Konstantin x)
* Status: Open
* ruby -v: ruby 3.3.0 (2023-12-25 revision 5124f9ac75) [arm64-darwin23]
* Backport: 3.1: UNKNOWN, 3.2: UNKNOWN, 3.3: UNKNOWN
----------------------------------------

The following expression produces a TypeError, which is quite unexpected:
```ruby
[1, 2] in a, b if b == 2*a
```
```
x.rb:1:in `*': nil can't be coerced into Integer (TypeError)

[1, 2] in a, b if b == 2*a
                         ^
        from x.rb:1:in `<main>'
```

The expression above should be equivalent to the following one, which works as expected:
```ruby
case [1, 2]
in a, b if b == 2*a
  true
else
  false
end
# => true
```

Apologies in advance if this is intentional or has been reported before.



-- 
https://bugs.ruby-lang.org/
 ______________________________________________
 ruby-core mailing list -- ruby-core@ml.ruby-lang.org
 To unsubscribe send an email to ruby-core-leave@ml.ruby-lang.org
 ruby-core info -- https://ml.ruby-lang.org/mailman3/postorius/lists/ruby-core.ml.ruby-lang.org/

[ruby-core:117841] [Ruby master Bug#20482] nil variables in a guard clause of a standalone => or in expression

[Soilent (Konstantin x) via ruby-core]

Issue #20482 has been updated by Soilent (Konstantin x).


Thank you, nobu! That explains it.

Just to clarify, is this how the expression is parsed?

```ruby
( [1, 2] in a, b ) if b == 2*a
```

And since this is a modifier `if`, the parser creates variables a and b first, which is why they are defined in the test expression?

----------------------------------------
Bug #20482: nil variables in a guard clause of a standalone => or in expression
https://bugs.ruby-lang.org/issues/20482#change-108245

* Author: Soilent (Konstantin x)
* Status: Open
* ruby -v: ruby 3.3.0 (2023-12-25 revision 5124f9ac75) [arm64-darwin23]
* Backport: 3.1: UNKNOWN, 3.2: UNKNOWN, 3.3: UNKNOWN
----------------------------------------

The following expression produces a TypeError, which is quite unexpected:
```ruby
[1, 2] in a, b if b == 2*a
```
```
x.rb:1:in `*': nil can't be coerced into Integer (TypeError)

[1, 2] in a, b if b == 2*a
                         ^
        from x.rb:1:in `<main>'
```

The expression above should be equivalent to the following one, which works as expected:
```ruby
case [1, 2]
in a, b if b == 2*a
  true
else
  false
end
# => true
```

Apologies in advance if this is intentional or has been reported before.



-- 
https://bugs.ruby-lang.org/
 ______________________________________________
 ruby-core mailing list -- ruby-core@ml.ruby-lang.org
 To unsubscribe send an email to ruby-core-leave@ml.ruby-lang.org
 ruby-core info -- https://ml.ruby-lang.org/mailman3/postorius/lists/ruby-core.ml.ruby-lang.org/

[ruby-core:117844] [Ruby master Bug#20482] nil variables in a guard clause of a standalone => or in expression

[nobu (Nobuyoshi Nakada) via ruby-core]

Issue #20482 has been updated by nobu (Nobuyoshi Nakada).


Soilent (Konstantin x) wrote in #note-2:
> Thank you, nobu! That explains it.
> 
> Just to clarify, is this how the expression is parsed?
> 
> ```ruby
> ( [1, 2] in a, b ) if b == 2*a
> ```

Yes, you can confirm the AST by `ruby --dump=parsetree -e '1 in a if a'` (the code is simplified).

> And since this is a modifier `if`, the parser creates variables a and b first, which is why they are defined in the test expression?

Yes, `a` and `b` are created by `[1, 2] in a, b` and available in the `if` condition.

----------------------------------------
Bug #20482: nil variables in a guard clause of a standalone => or in expression
https://bugs.ruby-lang.org/issues/20482#change-108249

* Author: Soilent (Konstantin x)
* Status: Open
* ruby -v: ruby 3.3.0 (2023-12-25 revision 5124f9ac75) [arm64-darwin23]
* Backport: 3.1: UNKNOWN, 3.2: UNKNOWN, 3.3: UNKNOWN
----------------------------------------

The following expression produces a TypeError, which is quite unexpected:
```ruby
[1, 2] in a, b if b == 2*a
```
```
x.rb:1:in `*': nil can't be coerced into Integer (TypeError)

[1, 2] in a, b if b == 2*a
                         ^
        from x.rb:1:in `<main>'
```

The expression above should be equivalent to the following one, which works as expected:
```ruby
case [1, 2]
in a, b if b == 2*a
  true
else
  false
end
# => true
```

Apologies in advance if this is intentional or has been reported before.



-- 
https://bugs.ruby-lang.org/
 ______________________________________________
 ruby-core mailing list -- ruby-core@ml.ruby-lang.org
 To unsubscribe send an email to ruby-core-leave@ml.ruby-lang.org
 ruby-core info -- https://ml.ruby-lang.org/mailman3/postorius/lists/ruby-core.ml.ruby-lang.org/