Skip to content
This repository has been archived by the owner on Jun 9, 2021. It is now read-only.

Add case for the PPrime constructor #79

Closed
wants to merge 1 commit into from
Closed

Add case for the PPrime constructor #79

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions cryptol-saw-core/src/Verifier/SAW/Cryptol.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -203,6 +203,7 @@ importPC sc pc =
C.PTrue -> panic "importPC PTrue" []
C.PFLiteral -> panic "importPC PFLiteral" []
C.PValidFloat -> panic "importPC PValidFloat" []
C.PPrime -> panic "importPC PPrime" []

-- | Translate size types to SAW values of type Num, value types to SAW types of sort 0.
importType :: SharedContext -> Env -> C.Type -> IO Term
Expand Down