Oddity with nested phantom types.

[ekpyron]

This works:

data Memory(a) = Memory(Word)

function g() {
    let x : Memory(Memory(Word));
    x = Memory(0);
}

while this fails:

data Memory(a) = Memory(Word)

function g() {
    let x : Memory(Memory(Word)) = Memory(0);
}

with

Types do not match: Memory(Word) and b
 - in:let x :: Memory(Memory(Word)) = Memory(0) ;

Am I missing something here? I'd have expected the latter to work as well.

[rodrigogribeiro]

Fixed on main.

[ekpyron]

For me on main now in fact both cases no longer work ;-).

In the first case I get

Types Memory(b) and Memory(Memory(Word)) do not match
 - in:x = Memory(0) ;

in the second

Types Memory(b) and Memory(Memory(Word)) do not match
 - in:let x :: Memory(Memory(Word)) = Memory(0) ;

(and even the simpler let x : Memory(Word) = Memory(0); no longer works now ;-))

[rodrigogribeiro]

This is now fixed at main. Please confirm either by running cabal new-test or by running the compiler over the files test/examples/cases/Memory1.solc and test/examples/cases/Memory2.solc.