Add EvExpr constructor to EvTerm

Authored by adamgundry on Dec 22 2015, 10:05 AM.

Description

Add EvExpr constructor to EvTerm

This makes it possible to embed arbitrary HsExprs as evidence terms,
which will be useful for solving HasField constraints and for
typechecker plugins.

Details

Committed
adamgundryDec 22 2015, 10:05 AM
Differential Revision
D1687: OverloadedRecordFields magic constraint solving for HasField
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.