suzanne.soy/type-expander
1
0
Fork 0
Code Issues8 Pull Requests Actions Packages Projects Releases Wiki Activity

:type with ∀ ... seems to fail #10

New Issue
Open
opened 2017-05-05 00:22:23 +01:00 by SuzanneSoy · 0 comments
SuzanneSoy commented 2017-05-05 00:22:23 +01:00 (Migrated from github.com) 
(:type (∀ (A ...) (→ (List A ...) (∀ (B ...) (→ (List B ...) (List A ... B ...))))))

syntax: no pattern variables before ellipsis in template in: ...
``` (:type (∀ (A ...) (→ (List A ...) (∀ (B ...) (→ (List B ...) (List A ... B ...)))))) ``` ``` syntax: no pattern variables before ellipsis in template in: ... ```
Sign in to join this conversation.
No Label
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: suzanne.soy/type-expander#10
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?