mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-11-05 19:55:26 -07:00
Deleted redundant pattern match
This commit is contained in:
1 parent
dc6dd988bc
commit
33aad1b8de
1 file changed
-1
@@ -265,7 +265,6 @@ instance PPA LinPattern where
|
|||||||
RecordPattern r -> block r
|
RecordPattern r -> block r
|
||||||
TuplePattern ps -> "<"<>punctuate "," ps<>">"
|
TuplePattern ps -> "<"<>punctuate "," ps<>">"
|
||||||
WildPattern -> pp "_"
|
WildPattern -> pp "_"
|
||||||
_ -> parens p
|
|
||||||
|
|
||||||
instance RhsSeparator LinPattern where rhsSep _ = pp "="
|
instance RhsSeparator LinPattern where rhsSep _ = pp "="
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user