[MLton-commit] r6671
Vesa Karvonen
vesak at mlton.org
Sun Jul 6 07:24:29 PDT 2008
Use top-level Rep structure.
----------------------------------------------------------------------
U mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/plane.sig
U mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/quat.sig
U mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/rbt.sig
U mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/rot.sig
U mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/scalar.sig
U mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/seq.sig
U mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/vec.sig
----------------------------------------------------------------------
Modified: mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/plane.sig
===================================================================
--- mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/plane.sig 2008-07-06 14:23:30 UTC (rev 6670)
+++ mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/plane.sig 2008-07-06 14:24:28 UTC (rev 6671)
@@ -17,7 +17,7 @@
structure Vec : VEC3 sharing Vec = RBT.Vec
type t
- val t : t Generic.Rep.t
+ val t : t Rep.t
val plane : {normal : Vec.t, distance : Scalar.t} -> t
Modified: mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/quat.sig
===================================================================
--- mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/quat.sig 2008-07-06 14:23:30 UTC (rev 6670)
+++ mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/quat.sig 2008-07-06 14:24:28 UTC (rev 6671)
@@ -13,7 +13,7 @@
structure Scalar : SCALAR sharing Scalar = Vec.Scalar
type t
- val t : t Generic.Rep.t
+ val t : t Rep.t
val quat : {scalar : Scalar.t, vec : Vec.t} -> t
Modified: mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/rbt.sig
===================================================================
--- mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/rbt.sig 2008-07-06 14:23:30 UTC (rev 6670)
+++ mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/rbt.sig 2008-07-06 14:24:28 UTC (rev 6671)
@@ -17,7 +17,7 @@
structure Vec : VEC3 sharing Vec = Rot.Vec
type t
- val t : t Generic.Rep.t
+ val t : t Rep.t
val identity : t
Modified: mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/rot.sig
===================================================================
--- mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/rot.sig 2008-07-06 14:23:30 UTC (rev 6670)
+++ mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/rot.sig 2008-07-06 14:24:28 UTC (rev 6671)
@@ -14,7 +14,7 @@
structure Vec : VEC3 sharing Vec = Quat.Vec
type t
- val t : t Generic.Rep.t
+ val t : t Rep.t
val identity : t
Modified: mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/scalar.sig
===================================================================
--- mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/scalar.sig 2008-07-06 14:23:30 UTC (rev 6670)
+++ mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/scalar.sig 2008-07-06 14:24:28 UTC (rev 6671)
@@ -6,5 +6,5 @@
signature SCALAR = sig
include REAL
- val t : t Generic.Rep.t
+ val t : t Rep.t
end
Modified: mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/seq.sig
===================================================================
--- mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/seq.sig 2008-07-06 14:23:30 UTC (rev 6670)
+++ mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/seq.sig 2008-07-06 14:24:28 UTC (rev 6671)
@@ -6,7 +6,7 @@
signature SEQ_CORE = sig
type 'a t
- val t : 'a Generic.Rep.t -> 'a t Generic.Rep.t
+ val t : 'a Rep.t -> 'a t Rep.t
val findSome : ('a -> 'b Option.t) -> 'a t -> 'b Option.t
val foldr : ('a * 'b -> 'b) -> 'b -> 'a t -> 'b
val map : ('a -> 'b) -> 'a t -> 'b t
Modified: mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/vec.sig
===================================================================
--- mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/vec.sig 2008-07-06 14:23:30 UTC (rev 6670)
+++ mltonlib/trunk/org/mlton/vesak/math3d/unstable/public/vec.sig 2008-07-06 14:24:28 UTC (rev 6671)
@@ -13,7 +13,7 @@
include VEC_CORE
type t (* = Scalar.t Seq.t *)
- val t : t Generic.Rep.t
+ val t : t Rep.t
val fromSeq : Scalar.t Seq.t -> t
val toSeq : t -> Scalar.t Seq.t
More information about the MLton-commit
mailing list