4 Stage 4🔗

Often, as a program matures, programmers like to move it from an untyped to a typed framework. Therefore, make sure your program passes the type-checker. (If it already did, you don’t have to do anything extra for this stage, but you should still submit your work.) Note that Repartee expects programs to always be typed, while in CPO, you have to use the Type Check option.

From this stage onwards, all your submissions must type-check.

Problem: There is no new function to implement, but make sure your program type-checks.

Solely on the topic of using Typed Pyret, if you’re really stuck, you can ask us questions on EdStem (for this and later stages). We’ll decide whether to answer at our discretion—remember, this is like an exam!—depending on the nature of the question. Make sure you mark questions as private.