From 084e87f7279463b0171505cb8ec25f977ffcfe85 Mon Sep 17 00:00:00 2001
From: Alberto Ruiz <aruiz@um.es>
Date: Tue, 10 Jun 2014 18:43:16 +0200
Subject: minor fixes

---
 packages/base/src/Numeric/HMatrix.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'packages/base/src/Numeric')

diff --git a/packages/base/src/Numeric/HMatrix.hs b/packages/base/src/Numeric/HMatrix.hs
index 34f4346..1b6c1ea 100644
--- a/packages/base/src/Numeric/HMatrix.hs
+++ b/packages/base/src/Numeric/HMatrix.hs
@@ -27,7 +27,7 @@ Experimental interface with statically checked dimensions.
 
 module Numeric.HMatrix(
     -- * Vector
-    R,
+    ℝ, R,
     vec2, vec3, vec4, (&), (#), split, headTail,
     vector,
     linspace, range, dim,
@@ -35,7 +35,7 @@ module Numeric.HMatrix(
     L, Sq, build,
     row, col, (¦),(——), splitRows, splitCols,
     unrow, uncol,
-
+    tr,
     eye,
     diag,
     blockAt,
@@ -76,7 +76,7 @@ ud1 (R (Dim v)) = v
 
 
 infixl 4 &
-(&) :: forall n . KnownNat n
+(&) :: forall n . (KnownNat n, 1 <= n)
     => R n -> ℝ -> R (n+1)
 u & x = u # (konst x :: R 1)
 
-- 
cgit v1.2.3