Whiley / WhileyCompiler

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

Lambda Template Inference #1051

Closed DavePearce closed 3 years ago

DavePearce commented 3 years ago

Consider the following:

function f<T>() -> function(T)->({T f}):
    return &(T x -> {f:x})

Currently, the generated lambda has no inferred template. The method Lambda.getTemplate() simply returns empty every time.