Open stamourv opened 4 years ago
This program:
#lang dssl2 def fun(): helper() def helper(): return 0 fun()
produces the error:
real-definition: undefined; cannot use before initialization
without a useful source location.
real-definition looks like some internal name leaking, but the name from the program would be better.
real-definition
This program:
produces the error:
without a useful source location.
real-definition
looks like some internal name leaking, but the name from the program would be better.