@@ -104,12 +104,14 @@ toDecls [ValueDeclaration ident nameKind bs (Right val)] | all isVarBinder bs =
104 isVarBinder NullBinder = True
104 isVarBinder NullBinder = True
105 isVarBinder (VarBinder _) = True
105 isVarBinder (VarBinder _) = True
106 isVarBinder (PositionedBinder _ _ b) = isVarBinder b
106 isVarBinder (PositionedBinder _ _ b) = isVarBinder b
107+ isVarBinder (TypedBinder _ b) = isVarBinder b
107 isVarBinder _ = False
108 isVarBinder _ = False
109 fromVarBinder :: Binder -> m Ident
110 fromVarBinder :: Binder -> m Ident
110 fromVarBinder NullBinder = Ident <$> freshName
111 fromVarBinder NullBinder = Ident <$> freshName
111 fromVarBinder (VarBinder name) = return name
112 fromVarBinder (VarBinder name) = return name
112 fromVarBinder (PositionedBinder _ _ b) = fromVarBinder b
113 fromVarBinder (PositionedBinder _ _ b) = fromVarBinder b
114+ fromVarBinder (TypedBinder _ b) = fromVarBinder b
113 fromVarBinder _ = error "fromVarBinder: Invalid argument"
115 fromVarBinder _ = error "fromVarBinder: Invalid argument"
114toDecls ds@(ValueDeclaration ident _ bs result : _) = do
116toDecls ds@(ValueDeclaration ident _ bs result : _) = do
115 let tuples = map toTuple ds
117 let tuples = map toTuple ds