diff options
author | Eduardo Julian | 2019-05-28 19:48:42 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-05-28 19:48:42 -0400 |
commit | f55e513690400cce9e5e17a01a98922d91e086c3 (patch) | |
tree | 3d7675501866b7b889f27cde4165fefa47f84515 /lux-ruby | |
parent | fc0b4ad182e8e3099d6337641e97a630db3a8be0 (diff) |
Only infer the record-type during pattern-matching when the input-value's type is unknown.
Diffstat (limited to 'lux-ruby')
0 files changed, 0 insertions, 0 deletions