unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-05 14:17:33 +03:00
Code Issues Projects Releases Wiki Activity

add complete pragma

Browse Source
This commit is contained in:
Travis Staton 2023-03-03 10:50:35 -05:00
parent 1eefcdc5d3
commit 96bcbcf2b7
No known key found for this signature in database
GPG Key ID: 431DD911A00DAE49
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
parser-typechecker/src/Unison/PatternMatchCoverage/GrdTree.hs
View File

@ -84,3 +84,5 @@ pattern Grd x rest = Fix (GrdF x rest)
pattern Fork :: NonEmpty (GrdTree n l) -> GrdTree n l
pattern Fork alts = Fix (ForkF alts)
{-# COMPLETE Leaf, Grd, Fork #-}