Lecture 4 Notes

But there are two important differences first the

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: 8© ¢ 8© £ 8© ¢ ¡ ©  ¡¢ ¡ ¢   §§§ ¡  ¢ ¢ ¢ % £ ¡ £ ¡£ ¦§¡ §6 £ ¦ £    £ ¢ '   ¢ ¡¢ ¥£¤¡¢ £ £ £¡ ¥ 6 £ ££ £ £ £ ¡  ¡ £ © ¡©©  © £ £¡ ¤¢ § ¨¡ ¡ £ ¡  ¢ £ ¡  ¢ £    £ £ ¡  ¡ £ ¢ 8© ¢ ¡ % £ ¢ £ ¡ ©  ©  6 ¢ £   % ¥¡ ¡ © ¡ £ £ ¥ © ¤   as desired. § ¡  ¡ £ ¢ © ¢ ¡ % £ ¢ £   % ¥¡ © ¤  £ ©  ¢ ¢ ¡ £ ¡ 6&£ ¨02¡  5 §  £ This type is not completely expanded, of course, so we then call to finish the job, expanding it to ¥ ¡ 6&£ ¨38¡  ¡¢ £ ¡ 6&£ ¨02¡  5 §  ¢ 5 §  § £ ¥ ¥ ¡ 6&£ ¨ 5 § To expand a qualified type m1 t1 , first we find the type of m1 in the current type environment. If the type of m 1 declares t1 as a type abbreviation, its definition is returned, with m1 wrapped around any named types in the definition. For example, if is bound as in the example above, applying this process to will get  2¡  § ¨  8¡  ¡ 6&£ 5 §§ ¡  ¢ ¢¦ ¡¡ ¢ ¦£ © ¤¢ §¡ % ¥ £¦ § § © £ ¡  ¡   £ ¡   ¡ % £ £ ¡ ©  © © ¡ % £ £ ¥ §¡   ¥ &¡  © ¦  §§§ ¢ ¢ ¢ ¢ § £§ ¡ % £ © 43 % £  ©  © £ £ ¡  ¦¡   ¡ ¥ © 6 ¡ % £ © £ ¥ §¡ ¦ ¡ ¢ ¢ £ § ¢ £ ¢ £§ ¢£ ¡ ¢ ¢ §§ £  £   % ¥¡ £  ¤   %  £  ¡ ¡ "   ¦¥   © ¦¤¦ ¡ % © ¡...
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