Lecture 4 Notes

This can be xed 7 8 38 1 5 has type

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 § ¨¡ ¡ ' (¥  ¡ © ¤&£  ¡ ¡ 1 © % £ £ © " ¥ !¡ &¡ £ ©   § ¨ ¡ ¤¢ ¥£¡ £ ©  has type Example 5. The module body must supply bindings for all the declarations in the interface. For example, £ © #¥ !¤¡ £ © ¡ "  § ¨ ¡ ¦¤¢ ¥£¡ ¡ )) ' % $ 10(¥  ¡ © ¤&£  ¡ ¡  © £ $ £ © " ¡ 6&£ 432¡  5 §  § £ ¡% ¨ ¢ ¢1 © ¥ § ¨ has no type, because the implementation of that its interface advertises. does not provide all of the values Example 6. To keep the implementation simple, our language requires that the module produce the values in the same order as the interface. Hence '¥ $ )10' ) % £  ¡ © ¤&£  ¡ ¡  © $ £ © " £ © "#¥ !¡¤¡ £ ©   § ¨ ¡ ¦¤¢ ¥£¡ ¢¢ ¡ ¡ ¥ ¡ 6&£ 432¡  5 §  has no type. This can be fixed. 7 ¡ 8 . §  38¡ 1 ¡ &£ 5 ¥ £ ©  has type ¥ ¡ 56£ 8¡ 1...
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