From 72eddb67bb6f048fc2076184be3a32169026a832 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 7 Oct 2024 14:34:27 +0200 Subject: Towards a test suite --- src/CHAD/Types.hs | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/CHAD/Types.hs') diff --git a/src/CHAD/Types.hs b/src/CHAD/Types.hs index 0b32393..0b73a3a 100644 --- a/src/CHAD/Types.hs +++ b/src/CHAD/Types.hs @@ -4,6 +4,7 @@ module CHAD.Types where import AST.Types +import Data type family D1 t where @@ -63,3 +64,7 @@ d2 (STScal t) = case t of STF64 -> STScal STF64 STBool -> STNil d2 STAccum{} = error "Accumulators not allowed in input program" + +d2e :: SList STy env -> SList STy (D2E env) +d2e SNil = SNil +d2e (SCons t ts) = SCons (d2 t) (d2e ts) -- cgit v1.2.3-70-g09d2