Merge "Warn for existential variables in head pattern referred only once"
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Fri, 1 Mar 2019 12:45:56 +0000 (12:45 +0000)
committerGerrit Code Review <gerrit2@simantics>
Fri, 1 Mar 2019 12:45:56 +0000 (12:45 +0000)
commitfcb5a762af707ecef245fb3b83a36e8b24bc4b47
tree24ae5452cf2ae46d0ce7760ddf940cf9a29d6d14
parentb7291ec0404ab20d1eb225bb5d82e573db7a996c
parent413eb9409ab556f22293d28588b39f46d8449718
Merge "Warn for existential variables in head pattern referred only once"