Skip to content
Snippets Groups Projects

Fix error message when with [% //] fails

Merged Fix error message when with [% //] fails
tchajed/iris:fix-specialize-error-message into master
Merged Tej Chajed requested to merge tchajed/iris:fix-specialize-error-message into master

Fixes #325 (closed).

Also added a tests for the various iSpecialize error cases involving the [%] and [//] specialization patterns.

Merge request reports

Approval is optional

Merged by Robbert KrebbersRobbert Krebbers 4 years ago (Jun 12, 2020 6:00pm UTC)

Loading

Pipeline #29484 passed

Stage: build

    Pipeline passed for 995dc37b on master

    Activity

    Filter activity
    • Approvals
    • Assignees & reviewers
    • Comments (from bots)
    • Comments (from users)
    • Commits & branches
    • Edits
    • Labels
    • Lock status
    • Mentions
    • Merge request status
    • Tracking
    Please register or sign in to reply