Closed jpolitz closed 6 years ago
In https://github.com/brownplt/pyret-lang/commit/ee8d3f905f7d11b30c8425e78c5ec9bc99a77b75#diff-eea326b3d5a567fc9cd95ea89d791b3eR119, the within functions were marked with flatness 0, which is wrong (they may call user-specified equality functions).
within
Never mind, this is the flatness of the first step of within, which is currying. My bad!
In https://github.com/brownplt/pyret-lang/commit/ee8d3f905f7d11b30c8425e78c5ec9bc99a77b75#diff-eea326b3d5a567fc9cd95ea89d791b3eR119, the
within
functions were marked with flatness 0, which is wrong (they may call user-specified equality functions).