Skip to content

Generate names when elaborating Partial#2146

Merged
garyb merged 1 commit into
purescript:0.9from
garyb:2145-partial-shadowing
May 20, 2016
Merged

Generate names when elaborating Partial#2146
garyb merged 1 commit into
purescript:0.9from
garyb:2145-partial-shadowing

Commits

Commits on May 20, 2016