Add type inference for Source 1 programs

source-academy / source-programs

Notable Source programs, developed for SICP JS and other educational projects

GNU General Public License v3.0

7 stars 18 forks source link

Add type inference for Source 1 programs #37

Closed tysg closed 4 years ago

tysg commented 4 years ago

In order for the testing framework to work, this PR requires https://github.com/source-academy/source-programs/pull/36

For a detailed commit history, see https://github.com/tysng/source-type-inference

martin-henz commented 4 years ago

I see that you have your own test.sh script, in addition to the one in /scripts. This would mean we need to maintain both. Can you check if /scripts/test.sh meets your requirements, and if not, could you integrate your features into /scripts/test.sh?