Elaboration of non-terminating functions #35

New issue

Copy link

New issue

Copy link

Open

Open

Elaboration of non-terminating functions#35

Copy link

Assignees

Labels

p9: low priorityminor bugs or those that are hard to triggerminor bugs or those that are hard to triggers:elaborationt:squid

Description

PH111P

opened on Sep 4, 2017

Issue body actions

fun f x = f x x

should not elaborate but it does.

Metadata

Metadata

Assignees

• 
  PH111P

Labels

p9: low priorityminor bugs or those that are hard to triggerminor bugs or those that are hard to triggers:elaborationt:squid

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions