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 /documentation/research/operating_system.md | |
| parent | fc0b4ad182e8e3099d6337641e97a630db3a8be0 (diff) | |
Only infer the record-type during pattern-matching when the input-value's type is unknown.
Diffstat (limited to 'documentation/research/operating_system.md')
0 files changed, 0 insertions, 0 deletions