Compiling issue: define extractor pattern example from Encore's doc and hit error when compile it

[PhucVH888]

When I tried to compile the snippet of code.

#!/usr/bin/env encorec -run

passive class Link {
  assoc : (int, String)
  next  : Link

  def link() : Maybe ((int,String),Link) {
    Just (this.assoc,this.next) }

}

class Main
  def main() : void {
    ()
  }

There is an error message during type checking.

Importing module String from /Users/vo/code/encore/bundles/standard/String.enc
 *** Error during typechecking *** 
"test.enc" (line 7, column 42)
Type 'Maybe ((int, String), Link)' does not match expected type 'Maybe ((int, String), Link)'
In expression: 
  {Just (this.assoc, this.next)}
In method 'link' of type 'Maybe ((int, String), Link)'
In class 'Link'

[EliasC]

A tip is to try to always reduce the program causing the bug as much as possible. Here is a program with the same error:

passive class Link {
  assoc : (int, int)

  def link() : Maybe (int,int) {
    Just (this.assoc)
  }
}

class Main
  def main() : void {
    ()
  }

This makes it easier to determine what the bug is.

[PhucVH888]

yes, I agree with you. Thanks.

[EliasC]

It seems like the problem is typechecking tuples wrapped in Maybe. Adding a case for tuple types in hasSameKind in src/types/Types.hs should be enough to solve it!

[EliasC]

I'm too busy to fix it right now, but see if you can get it working by yourself and ask if you get stuck!

[PhucVH888]

I have fix it by adding a case areBoth isTupleType || in hasSameKind. It solved the problem.

[EliasC]

Good! Now it's just a pull request away :)

[albertnetymk]

Can't reproduce it on development, closing now. Reopen, if not so.