Merge pull request #4814 from 23Skidoo/issue-4793
commit4a43780e45ef5416788fc68bce64da2bc552cdac
authorMikhail Glushenkov <mikhail.glushenkov@gmail.com>
Thu, 5 Oct 2017 20:17:00 +0000 (5 21:17 +0100)
committerGitHub <noreply@github.com>
Thu, 5 Oct 2017 20:17:00 +0000 (5 21:17 +0100)
treee011f6b4690b79f3b00d6bb058b421dca72daa5c
parentb070fc9fa28cde04928c6970bc8d7190073fcb50
parent4f74fe1aca969de361951589ee8e721c8338be2b
Merge pull request #4814 from 23Skidoo/issue-4793

Use a handwritten Parsec instance for DefUnitId.