mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-11-04 03:15:26 -07:00
added missing case
This commit is contained in:
1 parent
d97292cfd4
commit
c9aadf7382
1 file changed
+1
@@ -419,6 +419,7 @@ composOp co trm =
|
|||||||
ImplArg t -> liftM ImplArg (co t)
|
ImplArg t -> liftM ImplArg (co t)
|
||||||
Markup t as cs -> liftM2 (Markup t) (mapAttrs co as) (mapM co cs)
|
Markup t as cs -> liftM2 (Markup t) (mapAttrs co as) (mapM co cs)
|
||||||
Reset c t -> liftM (Reset c) (co t)
|
Reset c t -> liftM (Reset c) (co t)
|
||||||
|
Typed t ty -> liftM2 Typed (co t) (co ty)
|
||||||
_ -> return trm -- covers K, Vr, Cn, Sort, EPatt
|
_ -> return trm -- covers K, Vr, Cn, Sort, EPatt
|
||||||
|
|
||||||
composSafePattOp op = runIdentity . composPattOp (return . op)
|
composSafePattOp op = runIdentity . composPattOp (return . op)
|
||||||
|
|||||||
Reference in new issue
Block a user