[MLton-commit] r7465

[Matthew Fluet]

Add type constraints to appease SML/NJ type checker.
----------------------------------------------------------------------

U   mlton/trunk/mlton/ssa/poly-hash.fun

----------------------------------------------------------------------

Modified: mlton/trunk/mlton/ssa/poly-hash.fun
===================================================================
--- mlton/trunk/mlton/ssa/poly-hash.fun	2010-05-19 02:33:35 UTC (rev 7464)
+++ mlton/trunk/mlton/ssa/poly-hash.fun	2010-05-20 17:36:18 UTC (rev 7465)
@@ -166,7 +166,10 @@
       (* Jenkins hash function
        * http://en.wikipedia.org/wiki/Jenkins_hash_function  (20100315)
        *) 
-      val {stateTy, init, wordBytes, fini} =
+      val {stateTy: Type.t,
+           init: unit -> Dexp.t,
+           wordBytes: Dexp.t * Dexp.t * WordSize.t -> Dexp.t,
+           fini: Dexp.t -> Dexp.t} =
          let
             val stateWordSize = resWordSize
             val stateTy = Type.word stateWordSize
@@ -249,7 +252,10 @@
       (* FNV-1a hash function
        * http://en.wikipedia.org/wiki/Fowler-Noll-Vo_hash_function  (20100315)
        *)
-      val {stateTy, init, wordBytes, fini} =
+      val {stateTy: Type.t,
+           init: unit -> Dexp.t,
+           wordBytes: Dexp.t * Dexp.t * WordSize.t -> Dexp.t,
+           fini: Dexp.t -> Dexp.t} =
          let
             val stateWordSize = resWordSize
             val stateTy = Type.word stateWordSize