Changeset 85 for Deliverables/D4.1

Timestamp:

Sep 17, 2010, 12:14:27 PM (10 years ago)

Author:

mulligan

Message:

Deleted Pretty.ml, as `pretty' functions have now been merged into
other files where they belong.
where

Location:

Deliverables/D4.1

Files:

• Bit.ml (modified) (1 diff)
• Byte.ml (modified) (1 diff)
• Byte7.ml (modified) (1 diff)
• Nibble.ml (modified) (1 diff)
• Pretty.ml (deleted)
• Word.ml (modified) (1 diff)
• Word11.ml (modified) (1 diff)

Deliverables/D4.1/Bit.ml

@@ -8 +8 @@
 module type BIT =
 sig
-  type bit = bool (* DPM: Make abstract? *)
+  type bit = private bool (* DPM: Make abstract? *)
 
   val from_bool: bool -> bit

Deliverables/D4.1/Byte.ml

@@ -14 +14 @@
   type bit
   type nibble
-  type byte
+  type byte = private (nibble * nibble)
 
   val from_bits: bit -> bit -> bit -> bit -> bit -> bit -> bit -> bit -> byte

Deliverables/D4.1/Byte7.ml

@@ -25 +25 @@
   type bit = Bit.bit
   type nibble = Nibble.nibble
-  type byte7 = (bit * bit * bit * nibble)
+  type byte7 = private (bit * bit * bit * nibble)
 end;;
 

Deliverables/D4.1/Nibble.ml

@@ -12 +12 @@
 sig
   type bit
-  type nibble
+  type nibble = private (bit * bit * bit * bit)
 
   val from_bits: bit -> bit -> bit -> bit -> nibble

Deliverables/D4.1/Word.ml

@@ -16 +16 @@
   type nibble
   type byte
-  type word = byte * byte
+  type word = private byte * byte
 end;;
 

Deliverables/D4.1/Word11.ml

@@ -14 +14 @@
   type bit
   type byte
-  type word11 = bit * bit * bit * byte
+  type word11 = private (bit * bit * bit * byte)
 
   val to_string: word11 -> string