Currently code generation is done in one pass, so there isn't a way to convert lambda functions into top level functions. There should be some sort of monadic state/backtracking mechanism to allow for operations like this.
Will probably require an elaboration/optimization step before code gen.
Currently code generation is done in one pass, so there isn't a way to convert lambda functions into top level functions. There should be some sort of monadic state/backtracking mechanism to allow for operations like this.
Will probably require an elaboration/optimization step before code gen.