Lecture 4 Notes

for the rst requirement we insist that ty1

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: § ¦  ¡ £ ¦  ¡ £ £ £  ¥ &¡  ¤¢ £    £¡ § ¨¡  ¡ £ ¦  ¡ £ £    £ £  ¥ £ §¡  ©   ¢ £ ¡ £   % ¤ ¡ ¢ £ ©  ¡ © ¡ £ £ ¦  £ ¢¡ ¢ £ £ ¢ ¢ ¢ £ £ ¢ ¢ £ § ¢ ¢¡ ¢ £ £ §¨¡ ¢ £ ©£ § £ § ¥ ¦  ¦¡ £  £  £¦¡©  ¡ © £© ©% £ © 1 ¥£¡ ¢ ¥£ ¦ ©  ¡ £ 6 ¡ % £ ¡ ¦6¢ ¡  ¡ © £ © 8© ¡ £ ¡ ¤¡  ¢ ¥£ ¦  ¡ £ 6  ¡   ¡  ¡ © £ © 8© ¡ £ ¡ ¤¡  ¥£ ¡ ¤¡ ¦£ © ¤  ¡ £ £  ¡ ¢¥¡ ¥£ £¤ ©%  ¡ £ £ 1 ¡ ¦  ¡ £ ¥    £ ¦  ¡ £   ¥ £¦¡©  ¡ © £© ©% £ ©  ¡ § ¢ §§§§ ¡ ¢ ¡ ¦  ¡ £ £ §¡  ©   ¡ © £ © ©  ¦ ¦  ¡ £ £ ¦ ¡  ©   £ ¡ £   ¦ ¢ £ ¦ ¡  ©   ¡ ¦  ¡ © £ © © ¡ £  ¢ ¢ § ¢ ¢  £   © ¡ £ £ ¥  % ¢ £ ©  £ ¥  % ¥¡ ¢ £ © 1 £ ¤ £   ¡ £ £    £ ¥£¡ ¡ 6¢ ¡ © ¡ £  £ ¡  ¡ £ ¢ © ¢ ¡ % £ ¢ ¡ 6¢ ¢ £   % ¥¡ ¥£¡ © ¤  For our new checker, we make sure that all types in the manifest are already expanded, so we don’t have to call every time we see a type. To do this, we build the manifest in two stages. First we build a type environment consisting of all the module definitions. Then we build a second type environment just like the first, except that all the types are expanded. Here the procedure walks through a module type, expanding all the types it finds. ¡  ¡ £ ¢ © ¢ ¡ % £ ¢ £   % ¥¡ © ¤  We can now go through the checker, making modifications to handle the new types. ¥¦ §§§§§§ §¨¡  ¡ £ £ ¡  ¡ £ ¢ © ¢ ¡ % £ ¢ £ ¡ ¡  ©...
View Full Document

This document was uploaded on 03/17/2014 for the course CSG 111 at Northeastern.

Ask a homework question - tutors are online