Whiley / WhileyCompiler

The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
219 stars 36 forks source link

Cannot dereference within a function? #1100

Open DavePearce opened 3 years ago

DavePearce commented 3 years ago

At the moment, the following is prohibited:

function f(&int p) -> (int r):
    return *p

It says "dereference not permitted". This will need to be corrected.