vegowotenks/java-classfile
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat: Successful test in eval-comment

Browse source
This commit is contained in:
vegowotenks 2025-07-11 18:15:21 +02:00
parent 84510b41a5
commit 6a4d4e5051
2 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/Language/Java/Classfile/Extractable.hs
View file

@ -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)

7
src/Language/Java/Classfile/Version.hs
View file

@ -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