From 948cae3ca7279040627db393e4372a668f8a22f7 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 1 Oct 2024 23:18:15 +0200
Subject: Reverse-by-forward, and checking neural (it's wrong)

---
 src/Interpreter/Rep.hs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/Interpreter')

diff --git a/src/Interpreter/Rep.hs b/src/Interpreter/Rep.hs
index c0c38b2..adb4eba 100644
--- a/src/Interpreter/Rep.hs
+++ b/src/Interpreter/Rep.hs
@@ -38,3 +38,6 @@ type family RepAcDense t where
   -- RepAcDense (TArr n t) = Array n (RepAcSparse t)
   -- RepAcDense (TScal sty) = ScalRep sty
   -- RepAcDense (TAccum t) = TypeError (Text "RepAcDense: Nested accumulators")
+
+newtype Value t = Value (Rep t)
+
-- 
cgit v1.2.3-70-g09d2