stchang / macrotypes / issues / #15 - allow "empty" expressions like nil — Bitbucket

Issue #15 new

Stephen Chang repo owner created an issue 2016-05-03

Currently, programs like nil, in the absence of context that assigns an expected type, require annotations and fail to typecheck if there are none.

It would be nice if such programs were accepted

Comments (2)

Stephen Chang reporter
https://bitbucket.org/stchang/macrotypes/pull-requests/21/infer-instantiations-for-polymorphic/diff
- 2017-10-14T17:02:18+00:00
Stephen Chang reporter
https://github.com/stchang/macrotypes/pull/29
- 2017-10-14T17:02:22+00:00
Log in to comment

Assignee: –

Type: enhancement

Priority: major

Status: new

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!