Open alex-chew opened 1 year ago
This was cut out of scope from #60 because of the blocking issues https://github.com/dafny-lang/dafny/issues/2989 (which prevents declaring {:extern} methods returning string) and https://github.com/dafny-lang/dafny/issues/2045 (which leaves Golang incompatible with the one-{:extern}-fits-all approach).
{:extern}
string
This was cut out of scope from #60 because of the blocking issues https://github.com/dafny-lang/dafny/issues/2989 (which prevents declaring
{:extern}
methods returningstring
) and https://github.com/dafny-lang/dafny/issues/2045 (which leaves Golang incompatible with the one-{:extern}
-fits-all approach).