Changes between Version 34 and Version 35 of Records/NameSpacing

Timestamp:

01/17/12 19:55:04 (16 months ago)

Author:

GregWeber

Comment:

type class interaction

Records/NameSpacing

@@ -149 +149 @@
 
 In the Frege system, the record's namespace is closed where it is defined.
-However, making a record an instance of a class puts the class functions in the record name-space.
-
-{{{
-module RExtension where
+However, making a record an instance of a type class lifts the class functions into the record name-space.
+
+{{{
+module RecordExtension where
 
 import original.M(R)    -- access the R record defined in module original.M
@@ -162 +162 @@
 instance Rextension1 R where
      -- implementation for new functions
-
-And now, in another module one could
-
-import RExtension()      -- equivalent to qualified import in Haskell
 }}}
 
 the new functions `f` and `g` are accessible (only) through R.
 So we have a technique for lifting new functions into the Record namespace.
-For the initial records implementaion we definitely want to maintain `f` and `g` at the top-level, but should consider also adding through the record name-space. See related discussion below on future directions.
+For the initial records implementaion we would want to maintain `f` and `g` at the top-level, but should consider also adding through the record name-space. See related discussion below on future directions.
 
 == Compatibility with existing records ==