Skip to content

Elaboration of non-terminating functions #35

Open
Open
Elaboration of non-terminating functions#35
Assignees
PH111P
Labels
p9: low priorityminor bugs or those that are hard to triggers:elaborationt:squid

Description

@PH111P
PH111P
opened on Sep 4, 2017
fun f x = f x x

should not elaborate but it does.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

p9: low priorityminor 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