From b04e0a2fa6ddf73f9d8aef31fa5fa6d2039b70ac Mon Sep 17 00:00:00 2001 From: Daniel Matichuk Date: Mon, 5 Oct 2020 12:22:07 -0700 Subject: [PATCH] fix ArchInfo instance for macaw-aarch32-symbolic --- macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic.hs b/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic.hs index addcb1eb..50b96f89 100644 --- a/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic.hs +++ b/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic.hs @@ -2,6 +2,7 @@ {-# LANGUAGE GADTs #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} +{-# LANGUAGE MultiParamTypeClasses #-} {-# OPTIONS_GHC -fno-warn-orphans #-} module Data.Macaw.AArch32.Symbolic ( @@ -18,8 +19,8 @@ import qualified SemMC.Architecture.AArch32 as SA import qualified Lang.Crucible.CFG.Extension as CE import qualified Lang.Crucible.Types as CT -instance MS.ArchInfo SA.AArch32 where - archVals _ = Nothing +instance MS.GenArchInfo MS.LLVMMemory SA.AArch32 where + genArchVals _ _ = Nothing data AArch32StmtExtension (f :: CT.CrucibleType -> Type) (ctp :: CT.CrucibleType) where