Compile errors when namespace Foo contains definition for Foo

[MatthewBennington]

Sorry is the issue name is unclear. Here's some example code:

module {:extern "Geoff"} Geoff {
  class Geoff {}

  datatype Foo = Foo(g: Geoff)
}

I get errors:

Dafny 2.3.0.10506

Dafny program verifier finished with 0 verified, 0 errors
Errors compiling program into
/var/folders/lv/r2rh11tj1kd68fm_dr38zh_hgg0b20/T/qq0hm8ot.0.cs(1509,27) : error CS0426: The nested type `Geoff' does not exist in the type `Geoff.Geoff'

/var/folders/lv/r2rh11tj1kd68fm_dr38zh_hgg0b20/T/qq0hm8ot.0.cs(1510,18) : error CS0426: The nested type `Geoff' does not exist in the type `Geoff.Geoff'

/var/folders/lv/r2rh11tj1kd68fm_dr38zh_hgg0b20/T/qq0hm8ot.0.cs(1540,32) : error CS0426: The nested type `Geoff' does not exist in the type `Geoff.Geoff'

/var/folders/lv/r2rh11tj1kd68fm_dr38zh_hgg0b20/T/qq0hm8ot.0.cs(1544,14) : error CS0426: The nested type `Geoff' does not exist in the type `Geoff.Geoff'

• It works fine if I remove {:extern}
• I'm using Dafny compiled from a155afd

[mschlaipfer]

Seems to be the same as #259

[MatthewBennington]

Yes, that appears to be the same issue.

[acioc]

Closing as duplicate