document "pattern" declarations

cartazio / omega

Automatically exported from code.google.com/p/omega

Other

4 stars 0 forks source link

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

One can abbreviate patterns like this

prompt> let pattern UU x = R x

prompt> UU 7

(R 7) : forall 'a.('a+Int)

This works in local contexts too

Original issue reported on code.google.com by ggr...@gmail.com on 29 Aug 2011 at 10:46

GoogleCodeExporter commented 9 years ago

Does it work in the LHS of equations? Does this mean we get a form of views?

Original comment by ggr...@gmail.com on 8 Sep 2011 at 9:03