From bb84f6930702a02ba982795e2bb95a64d61f672b Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Thu, 14 Nov 2024 19:27:06 +0100
Subject: Benchmark GMM

---
 src/Example/GMM.hs   |  5 +----
 src/Example/Types.hs | 11 +++++++++++
 2 files changed, 12 insertions(+), 4 deletions(-)
 create mode 100644 src/Example/Types.hs

(limited to 'src/Example')

diff --git a/src/Example/GMM.hs b/src/Example/GMM.hs
index 1db88bd..12bbd98 100644
--- a/src/Example/GMM.hs
+++ b/src/Example/GMM.hs
@@ -3,13 +3,10 @@
 {-# LANGUAGE TypeApplications #-}
 module Example.GMM where
 
+import Example.Types
 import Language
 
 
-type R = TScal TF64
-type I64 = TScal TI64
-type TVec = TArr (S Z)
-type TMat = TArr (S (S Z))
 
 -- N, D, K: integers > 0
 -- alpha, M, Q, L: the active parameters
diff --git a/src/Example/Types.hs b/src/Example/Types.hs
new file mode 100644
index 0000000..d63159b
--- /dev/null
+++ b/src/Example/Types.hs
@@ -0,0 +1,11 @@
+{-# LANGUAGE DataKinds #-}
+module Example.Types where
+
+import AST
+import Data
+
+
+type R = TScal TF64
+type I64 = TScal TI64
+type TVec = TArr (S Z)
+type TMat = TArr (S (S Z))
-- 
cgit v1.2.3-70-g09d2