Permalink
Browse files

[fix] use now the feature about @abstract and @private types

 * move directives from the documentation to the implementation.
  • Loading branch information...
1 parent 0a7e093 commit 5903872b06a26dd28e0b4584ab0a471246411ee4 Mathieu Barbin committed Apr 14, 2011
Showing with 11 additions and 11 deletions.
  1. +8 −7 multitub/multitub.opa
  2. +1 −1 src/client.opa
  3. +1 −1 src/colset.opa
  4. +1 −2 src/grid.opa
View
@@ -60,9 +60,8 @@
* With '@abstract' we denote that user of this lib should not enter the implementation
* of the type, but just using function exported in this file to manipulate values
* of this type.
- * (will be replaced any time by a better typing feature)
- * @abstract
**/
+@abstract
type Multitub.C.channel = channel(Multitub.C.message)
/**
@@ -85,14 +84,16 @@ type Multitub.C.channel = channel(Multitub.C.message)
* so that the server can store it in its state for sending him some messages.
* With '@private' we denote that this type should not be exported outside
* of this file, and the user of the design does not manipulate it at all.
- * (will be replaced any time by a better typing feature)
- * @private
**/
+@private
type Multitub.private.S.message = { message : Multitub.S.message } / { set_c_channel : Multitub.C.channel }
/**
- * @abtract
+ * With '@abstract' we denote that user of this lib should not enter the implementation
+ * of the type, but just using function exported in this file to manipulate values
+ * of this type.
**/
+@abstract
type Multitub.S.channel = channel(Multitub.private.S.message)
/**
@@ -232,17 +233,17 @@ type Multitub.S.interface('state) = {{
/**
* The state of the server session.
- * @private
**/
+@private
type Multitub.private.S.state('state) = {
c_channel : option(Multitub.C.channel)
state : 'state
}
/**
* The state of the client session.
- * @private
**/
+@private
type Multitub.private.C.state('state) = {
s_channel : Multitub.S.channel
state : 'state
View
@@ -19,8 +19,8 @@ type ClientToken.color = string
/**
* A type for manipulating tokens (via Dom API)
- * @abstract
**/
+@abstract
type ClientToken.t = dom
/**
View
@@ -20,8 +20,8 @@ type ColSet.elt = int
/**
* The type of a set of elements of type [ColSet.elt]
- * @abstract
**/
+@abstract
type ColSet.t = int
@both @public ColSet = {{
View
@@ -4,7 +4,6 @@
**/
package tictactopa.grid
-// import stdlib.llarray
/**
* {0 Manipulation of the Grid}
@@ -51,8 +50,8 @@ type Grid.location = {
/**
* The type for manipulating a grid.
* The dimensions are cached.
- * @abstract
**/
+@abstract
type Grid.t('content) = {
dimensions : Grid.dimensions ;
t : llarray(llarray('content)) ;

0 comments on commit 5903872

Please sign in to comment.