diff options
Diffstat (limited to 'src/GF/Compile/PrOld.hs')
| -rw-r--r-- | src/GF/Compile/PrOld.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Compile/PrOld.hs b/src/GF/Compile/PrOld.hs index 7aa0db623..29920fab6 100644 --- a/src/GF/Compile/PrOld.hs +++ b/src/GF/Compile/PrOld.hs @@ -49,7 +49,7 @@ stripInfo (c,i) = case i of AbsCat (Yes co) (Yes fs) -> rc $ AbsCat (Yes (stripContext co)) nope AbsFun (Yes ty) (Yes tr) -> rc $ AbsFun (Yes (stripTerm ty)) (Yes(stripTerm tr)) AbsFun (Yes ty) _ -> rc $ AbsFun (Yes (stripTerm ty)) nope - ResParam (Yes ps) -> rc $ ResParam (Yes [(c,stripContext co) | (c,co)<- ps]) + ResParam (Yes (ps,m)) -> rc $ ResParam (Yes ([(c,stripContext co) | (c,co)<- ps],Nothing)) CncCat (Yes ty) _ _ -> rc $ CncCat (Yes (stripTerm ty)) nope nope CncFun _ (Yes tr) _ -> rc $ CncFun Nothing (Yes (stripTerm tr)) nope |