[enhance] Date: adding @stringifiers for Date.month & Date.weekday

MLstate · Nov 1, 2011 · 5b79024 · 5b79024
1 parent 41fc300
commit 5b79024
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/stdlib/core/date/date.opa b/stdlib/core/date/date.opa
@@ -645,7 +645,7 @@ type time_t = external
      *
      * @param wday weekday to convert
      */
-    to_string : Date.weekday -> string =
+    @stringifier(Date.weekday) to_string : Date.weekday -> string =
       | {monday} -> "Monday"
       | {tuesday} -> "Tuesday"
       | {wednesday} -> "Wednesday"
@@ -727,7 +727,7 @@ type time_t = external
      *
      * @param month a month to convert
     **/
-    to_string : Date.month -> string =
+    @stringifier(Date.month) to_string : Date.month -> string =
       | {january} -> "January"
       | {february} -> "February"
       | {march} -> "March"