Duda Con Array

[death_nemesis]

Hola amigos
Tengo el siguiente codigo

Código SQL:

CREATE OR REPLACE FUNCTION VehiculosFinalizados(IDTaller CHARACTER VARYING)RETURNS INTEGER AS $$
DECLARE 
    IDVeh INTEGER [];
    IDVehiculo INTEGER = 0;
    NumTareas  INTEGER = 0;
    TareasFinalizadas INTEGER = 0;
    finalizados INTEGER = 0;
BEGIN
    SELECT INTO IDVeh id_vehiculo FROM vehiculos,locales WHERE vehiculos.id_local = locales.id_local AND id_estado = 14 
    AND id_taller = ''||IDTaller||'';
    FOR i IN 1 .. array_length(IDVeh, 1)LOOP 
        IDVehiculo:= IDVeh;
        SELECT INTO NumTareas COUNT(id_tarea) FROM tareas WHERE id_vehiculo = IDVehiculo;
        IF NumTareas > 0 THEN
            SELECT INTO TareasFinalizadas COUNT(id_tarea) FROM TAREAS WHERE finalizada = 1 AND id_vehiculo = IDVehiculo;
            IF NumTareas = TareasFinalizadas THEN
                finalizados:= finalizados + 1;
            END IF;
        END IF;
    END LOOP;
    RETURN finalizados;
END;
$$
LANGUAGE 'plpgsql';
 

y me da este error

ERROR: array value must start with "{" or dimension information
CONTEXT: PL/pgSQL function "vehiculosfinalizados" line 8 at SQL statement

********** Error **********

ERROR: array value must start with "{" or dimension information
Estado SQL:22P02
Contexto:PL/pgSQL function "vehiculosfinalizados" line 8 at SQL statement

Alguien sabe por que da ese error y como arreglarlo?