aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program
diff options
context:
space:
mode:
authorEduardo Julian2019-05-28 19:48:42 -0400
committerEduardo Julian2019-05-28 19:48:42 -0400
commitf55e513690400cce9e5e17a01a98922d91e086c3 (patch)
tree3d7675501866b7b889f27cde4165fefa47f84515 /stdlib/source/program
parentfc0b4ad182e8e3099d6337641e97a630db3a8be0 (diff)
Only infer the record-type during pattern-matching when the input-value's type is unknown.
Diffstat (limited to 'stdlib/source/program')
0 files changed, 0 insertions, 0 deletions