CS162 HW4
Homework Assignment 4 Due Friday, March 1st, 11:59PM (pacific time) In this assignment, you will use OCaml to implement the type system of ¦Ë+. Instructions 0. Makesureyoudownloadthelatestversionofthereferencemanualusingthislink.Youwillneedto refer to the chapter on type checking in the language reference manual. 1. Eitherclonethisdirectory,ordownloadthezippeddirectoryusingthislink. 2. Thefilesrequiredforthisassignmentarelocatedinthisfolder.Inparticular,youwillneedto implement the abstract_eval function in lib/lamp/typecheck.ml. 3. Youmustnotchangethetypesignaturesoftheoriginalfunctions.Otherwise,yourprogramwillnot compile. If you accidentally […]