Lecture 4 Notes

The interface says that this module takes as an

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:  ¡ £ ¡ £ £ %©  ¦§¡ © £ ¥ £  ¡ £ £ ¡£ £ ¦ §6 % 1 ¡ £  £ £ © ¡ ¦ £ £  £   ¡ © ¡ £  ¡  ¡ ¢ ¡ £ ¢ ¦  ¦¡ £  £ The interpreter doesn’t look at types or declarations, so the only change to the interpreter is to make it ignore type definitions. 7.4.3.2 The Interpreter 7.4.3.3 The Checker The changes to the checker are more substantial, since many portions of the checker deal with types, and they must all be extended to handle the new types. First, we extend type environments to handle new types. We will have two new kinds of bindings: for abstract types and for type abbreviations. ¢£  ¡  ¡  © ¡  ¡ ¢ ¡ % £ © £¡ ¡© § ¡  ¡ ¢ ¡ % £ © ¡ % £ ¦  © 9199 ¡ ¤¡ ¥£ £¡ §§ £¡ §§ ¡¡ § % ©£ ¡£ £ ¡¡ % © £ ¡ % § ¡ ¡¦ ¡ © ¥£ ¦£ © ¤  ¡ £ %©£ ¡£ £ § ¡ ¡¦ ¡ © ¥£ ¦£ © ¤  ¡ £ £ ¥¦£ © ¤  ¡ £ 999 ¡£ ¡£ ¡ % £ &¤ © £ ¡©¡¡¢¡ § §  ¢¡%...
View Full Document

Ask a homework question - tutors are online