From 6a4d4e50513936246367debc7fabfbacb0f60f10 Mon Sep 17 00:00:00 2001 From: VegOwOtenks Date: Fri, 11 Jul 2025 18:15:21 +0200 Subject: [PATCH] feat: Successful test in eval-comment --- src/Language/Java/Classfile/Extractable.hs | 2 +- src/Language/Java/Classfile/Version.hs | 7 +++++++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/src/Language/Java/Classfile/Extractable.hs b/src/Language/Java/Classfile/Extractable.hs index b86b377..011c87e 100644 --- a/src/Language/Java/Classfile/Extractable.hs +++ b/src/Language/Java/Classfile/Extractable.hs @@ -2,7 +2,7 @@ {-# LANGUAGE TypeOperators #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE UndecidableInstances #-} -module Language.Java.Classfile.Extractable (Extractable()) where +module Language.Java.Classfile.Extractable (Extractable(extract)) where import Language.Java.Classfile.Extract (Extract, bytes) import Data.Word (Word8, Word16, Word32) diff --git a/src/Language/Java/Classfile/Version.hs b/src/Language/Java/Classfile/Version.hs index b160228..65354a2 100644 --- a/src/Language/Java/Classfile/Version.hs +++ b/src/Language/Java/Classfile/Version.hs @@ -13,3 +13,10 @@ data Version = Version } deriving stock (Show, Generic) deriving Extractable via Generically Version + +-- >>> import Language.Java.Classfile.Extractable (Extractable(extract)) +-- >>> import Language.Java.Classfile.Extract (runExtract) +-- >>> :set -XOVerloadedLists +-- >>> runExtract (fromList [0, 0, 0, 0]) extract :: Version +-- Variable not in scope: fromList :: [a0_a3mwi[tau:1]] -> ByteString +