diff options
author | Alexander Biehl <alexbiehl@gmail.com> | 2018-03-13 08:45:06 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-13 08:45:06 +0100 |
commit | 7b3f6f3a5230dab898a8a824f03636e27b84bfb1 (patch) | |
tree | 48d100df6b1f6afac12b5ad491ed78b3249aafee /hypsrc-test/ref/src/Constructors.html | |
parent | 22d5e59a9bb7f5ad5612c9dde53419a48101be65 (diff) |
extractDecl: Extract constructor patterns from data family instances (#776)
* extractDecl: Allow extraction of data family instance constructors
* extractDecl: extract data family instance constructors
Diffstat (limited to 'hypsrc-test/ref/src/Constructors.html')
0 files changed, 0 insertions, 0 deletions