1. Brett Giles Avatar Brett Giles
  2. Untitled project
  3. lqpl
  4. Issues

Type unification is not working properly

Issue #1 resolved
Brett Giles repo owner created an issue

Example is in reverse.qpl - it declares list as List a and tries to reverse an Int list, which then fails to unify "Int" and "Typevar 'a'", which should easily work.

Comments (1)

  2. Log in to comment
Assignee
Type
bug
Priority
critical
Status
resolved
Component
Compiler
Version
0.9.0
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!