Add parser for pattern synonym type signatures. Syntax is of the form

Authored by cactus.

Description

Add parser for pattern synonym type signatures. Syntax is of the form

pattern P :: (Prov b) => (Req a) => a -> b -> Int -> T a

which declares a pattern synonym called P, with argument types a, b,
and Int, and result type T a, with provided context (Prov b) and required
context (Req a).

Details

Committed
cactusNov 14 2014, 2:44 AM
This commit no longer exists in the repository. It may have been part of a branch which was deleted.This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Commit No Longer Exists

This commit no longer exists in the repository.