aboutsummaryrefslogtreecommitdiff
path: root/engine
diff options
context:
space:
mode:
authorMaxime Dénès2015-07-02 15:39:12 +0200
committerMaxime Dénès2015-07-02 15:39:12 +0200
commit44f45f58dc0a169286c9fcfa7d2edbc8bc04673b (patch)
treecf2c73c4038e511b30c42f6b54889be3d45bfca1 /engine
parentb6320588bdc54f0239a537339a359baa5e4d07d4 (diff)
More robust pattern matching on structured constants in VM.
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions