mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-09 19:22:50 -06:00
syntax for inaccessible patterns in GF
This commit is contained in:
@@ -168,6 +168,7 @@ data Patt =
|
||||
| PAs Ident Patt -- ^ as-pattern: x@p
|
||||
|
||||
| PImplArg Patt -- ^ placeholder for pattern for implicit argument @{p}@
|
||||
| PTilde Term -- ^ inaccessible pattern
|
||||
|
||||
-- regular expression patterns
|
||||
| PNeg Patt -- ^ negated pattern: -p
|
||||
|
||||
Reference in New Issue
Block a user