diff options
Diffstat (limited to 'src/Transfer/Syntax/Skel.hs')
| -rw-r--r-- | src/Transfer/Syntax/Skel.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Transfer/Syntax/Skel.hs b/src/Transfer/Syntax/Skel.hs index 40152c998..4d2dd8f55 100644 --- a/src/Transfer/Syntax/Skel.hs +++ b/src/Transfer/Syntax/Skel.hs @@ -56,6 +56,7 @@ transTree t = case t of EType -> failure t EStr str -> failure t EInt n -> failure t + EMeta -> failure t LetDef i exp0 exp1 -> failure t Case pattern exp -> failure t VVar i -> failure t @@ -129,6 +130,7 @@ transExp t = case t of EType -> failure t EStr str -> failure t EInt n -> failure t + EMeta -> failure t transLetDef :: LetDef -> Result transLetDef t = case t of |