New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix type-check-Lfun for `Apply` type-check #17

Open

xc42 wants to merge 1 commit into IUCompilerCourse:master from xc42:type-check-Lfun-patch

xc42 commented Aug 24, 2022

Quote from Racket document:

The for form iterates by drawing an element from each sequence; if any sequence is empty, then the iteration stops

so if apply function with less or more arguments would still pass type-check in original code, the for-each checks length.


          fix type-check-Lfun for Apply type-check

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet