UInt constructor export for pattern matching
jamesdbrock opened this issue · 1 comments
jamesdbrock commented
It’s too bad we can’t pattern match on a literal UInt 2.
But if we did export the UInt constructor for pattern matching it wouldn't even make sense, because what happens when we pattern match on UInt (-2)? That’s right you know what happens.
jamesdbrock commented
I'm inclined to export the constructor and then write stern documentation about using only literals as the constructor argument, not expressions.