Merge pull request #339 from GaloisInc/issue337

Update CFG.Expr pretty printer to show partial expressions.
GaloisInc · Nov 12, 2019 · 976ad77 · 976ad77
2 parents 6fdb562 + 2700c78
commit 976ad77
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/crucible/src/Lang/Crucible/CFG/Expr.hs b/crucible/src/Lang/Crucible/CFG/Expr.hs
@@ -58,6 +58,7 @@ module Lang.Crucible.CFG.Expr
  , RoundingMode(..)
  ) where
 
+import Control.Lens ((^.))
 import Control.Monad.Identity
 import Control.Monad.State.Strict
 import Data.Kind (Type)
@@ -1284,10 +1285,10 @@ instance PrettyApp (ExprExtension ext) => PrettyApp (App ext) where
  , ( U.ConType [t|Vector|] `U.TypeApp` U.AnyType
  , [| \pp v -> brackets (commas (fmap pp v)) |]
  )
- , ( U.ConType [t|PartialExpr|] `U.TypeApp` U.AnyType
+ , ( U.ConType [t|PartialExpr|] `U.TypeApp` U.DataArg 0
+ `U.TypeApp` U.DataArg 1
  `U.TypeApp` U.AnyType
- `U.TypeApp` U.AnyType
- , [| \_ _ -> text "<some assertion>" |]
+ , [| \pp pe -> text "partial" <> parens (pp (pe ^. value)) |]
  )
  ])