Skip to content

"[dup] m" does not type #25

@GoogleCodeExporter

Description

@GoogleCodeExporter
"[dup] m" returns "( -> 'a 'a)" which is clearly wrong. 

Possibly the problem is the rolling up phase.

Original issue reported on code.google.com by cdiggins on 21 Oct 2007 at 5:50

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions