]> gerrit.simantics Code Review - simantics/platform.git/commit
Merge "Warn for existential variables in head pattern referred only once" into releas...
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Fri, 8 Mar 2019 11:30:18 +0000 (11:30 +0000)
committerGerrit Code Review <gerrit2@simantics>
Fri, 8 Mar 2019 11:30:18 +0000 (11:30 +0000)
commit8a9360544c63eaa37fc5b23c7ef8dcb30e0af7e5
tree7c5d5f67f183c5cc8762566f5dc7802fa0046161
parent97f45e9a3ae331ef93550f0163777a79d6dd1b89
parent46fc885dc95c6b0aa3c20f6e2c8379d7f0c4aefa
Merge "Warn for existential variables in head pattern referred only once" into release/1.35.1