GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-25 23:23:18 +03:00
Code Issues Projects Releases Wiki Activity

Delete some obsolete comments

Browse Source
This commit is contained in:
Tristan Ravitch 2017-11-07 21:36:25 -08:00
parent 6308df3a8f
commit a03953ecdc
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
macaw-ppc/src/Data/Macaw/PPC/Semantics/TH.hs
View File

@ -73,8 +73,6 @@ type family FromCrucibleBaseType (btp :: S.BaseType) :: M.Type where
FromCrucibleBaseType (S.BaseBVType w) = M.BVType w
FromCrucibleBaseType (S.BaseBoolType) = M.BoolType
-- run stack with --ghc-options=-ddump-splices
-- | A different parameterized pair wrapper; the one in Data.Parameterized.Map
-- hides the @tp@ parameter under an existential, while we need the variant that
-- exposes it.
@ -278,8 +276,6 @@ genExecInstruction _ impl semantics captureInfo = do
Nothing -> m
Just pf -> Map.insert co (PairF pf ci) m
-- SemMC.Formula: instantiateFormula
natReprTH :: M.NatRepr w -> Q Exp
natReprTH w = [| knownNat :: M.NatRepr $(litT (numTyLit (natValue w))) |]