diff options
| author | Arianna Masciolini <uzkamascio@gmail.com> | 2025-08-02 20:26:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-02 20:26:36 +0200 |
| commit | 2324fe795c5eb0106c0f29940df43405104ce243 (patch) | |
| tree | a0069f9dc355b80206171a9e46ff9f172936fb28 /src/runtime | |
| parent | f1a72a066ffd34ec2b7f597bc314137908dfc64c (diff) | |
| parent | 703b1e5d925a7e497f98f18b26bb16e7ca0f95b2 (diff) | |
Merge pull request #181 from GrammaticalFramework/pr-174bis (also close #174)
PR #174bis
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/haskell/PGF/Expr.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/haskell/PGF/Expr.hs b/src/runtime/haskell/PGF/Expr.hs index ff1114235..42c0df14e 100644 --- a/src/runtime/haskell/PGF/Expr.hs +++ b/src/runtime/haskell/PGF/Expr.hs @@ -408,7 +408,7 @@ match sig f eqs as0 = tryMatch (p ) (VMeta i envi vs ) env = VSusp i envi vs (\v -> tryMatch p v env)
tryMatch (p ) (VGen i vs ) env = VConst f as0
tryMatch (p ) (VSusp i envi vs k) env = VSusp i envi vs (\v -> tryMatch p (k v) env)
- tryMatch (p ) v@(VConst _ _ ) env = VConst f as0
+ tryMatch (p ) v@(VConst _ _ ) env = match sig f eqs as0
tryMatch (PApp f1 ps1) (VApp f2 vs2 ) env | f1 == f2 = tryMatches eqs (ps1++ps) (vs2++as) res env
tryMatch (PLit l1 ) (VLit l2 ) env | l1 == l2 = tryMatches eqs ps as res env
tryMatch (PImplArg p ) (VImplArg v ) env = tryMatch p v env
|