Bug found in PolyList

[dynastywind]

Errors when executing the below codes.

Lyndon-MacBook-Pro:F2JParser Lyndon$ f2j -r bug.sf 
bug using [Naive]
Compiling to Java source code ( ./Bug$.java )
./Bug$.java:287: error: cannot find symbol
    final $PolyList x44 = ($PolyList) x43.temp;
          ^
  symbol:   class $PolyList
  location: class Bug$
./Bug$.java:287: error: cannot find symbol
    final $PolyList x44 = ($PolyList) x43.temp;
                           ^
  symbol:   class $PolyList
  location: class Bug$
2 errors
Error: Could not find or load main class Bug$
rm: cannot remove ‘*.class’: No such file or directory

data PolyList[A] = Nil
            |   Cons A (PolyList[A]);

let rec readPolyList(s: String): PolyList[Char] =
    if s.length() == 0 then (Nil[Char])
    else (Cons[Char] 'a' (readPolyList("")));

readPolyList "a"

Please check.

[xnning]

Have figured out why.
Be working.

[zhiyuanshi]

@xnning Thanks Ningning! 😺

[xnning]

@dynastywind Thank you for reporting the bug.
This issue will be delayed until we have a module system.
Currently, please make the final type be a non-datatype.

[zonyitoo]

I am curious that why my code works? I use this PolyList-like data structure every where ...

Minimal test case

data PList[T] = Nil
              | Cons T (PList[T]);

let singleton[T] (x : T) : PList[T] =
    Cons[T] x (Nil[T]);

singleton[Int] 1

[zonyitoo]

Temporary work around @dynastywind , just don't make the final type be a non-datatype, like this...

data PList[T] = Nil
              | Cons T (PList[T]);

let singleton[T] (x : T) : PList[T] =
    Cons[T] x (Nil[T]);

let rec showList[T] (show : T -> String) (l : PList[T]) : String =
    case l of
        Nil         -> ""
     |  Cons x xs   -> "\{show x} \{showList[T] show xs}";

showList[Char] (\(x : Char) -> x.toString()) (singleton[Char] 'a’)

[xnning]

@zonyitoo in latest code, both two should work. Because some predefined files are removed.
But this problem still exists.

[bixuanzju]

@xnning What is the status?

[xnning]

@bixuanzju This issue will be delayed until we have a module system.