23 Fév
2017
23 Fév
'17
14:18
The current implementation can support nested patterns (but dont). The new one cant. Nevertheless, the new approach would prevent us from seeing a constructor as a pexp. I am not sure if we lose in generality that much and I think the code will be greatly reduced.
`pexp` should disappear "shortly", so I don't think it's worth the trouble. Stefan