pred doesn't work for non-literal HVecs with varargs

Description

Problem

Predicate generation for HVec's do not support uniform variable parameters.

Solution

This seems to be a symptom of * not being parsed correctly.

First, HVec's clearly ignores the variable parameters when they are parsed.

This is actually correctly done for quoted HVec types like '[Foo Bar *] here.

This change should fix things; the contract generation already works for quoted HVec's since it expects a rest entry,

Pull request:
Commit:
Version:

Environment

None

Activity

Show:
Ambrose Bonnaire-Sergeant
January 29, 2016, 5:53 PM

The error is a bit odd. It may be that t/Keyword is the thing that's failing here.

Please try and isolate this error.

Ambrose Bonnaire-Sergeant
January 29, 2016, 5:53 PM

Oh I see the issue. Cannot resolve Protocol called `*`!

Assignee

Unassigned

Reporter

import

Labels

None

Approval

None

Patch

None

Components

Fix versions

Priority

Major