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

Rename VectorTypeRepr to VecTypeRepr

Browse Source
This commit is contained in:
Joe Hendrix 2019-02-19 10:18:12 -08:00
parent b80ab8fb67
commit 35af2a5c3a
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
base/src/Data/Macaw/Types.hs
View File

@ -207,7 +207,7 @@ data TypeRepr (tp :: Type) where
BVTypeRepr :: (1 <= n) => !(NatRepr n) -> TypeRepr (BVType n)
FloatTypeRepr :: !(FloatInfoRepr fi) -> TypeRepr (FloatType fi)
TupleTypeRepr :: !(P.List TypeRepr ctx) -> TypeRepr (TupleType ctx)
VectorTypeRepr :: NatRepr n -> TypeRepr tp -> TypeRepr (VecType n tp)
VecTypeRepr :: NatRepr n -> TypeRepr tp -> TypeRepr (VecType n tp)
type_width :: TypeRepr (BVType n) -> NatRepr n
type_width (BVTypeRepr n) = n
@ -219,7 +219,7 @@ instance Show (TypeRepr tp) where
show (TupleTypeRepr P.Nil) = "()"
show (TupleTypeRepr (h P.:< z)) =
"(" ++ show h ++ foldrFC (\tp r -> "," ++ show tp ++ r) ")" z
show (VectorTypeRepr c tp) = "(vec " ++ show c ++ " " ++ show tp ++ ")"
show (VecTypeRepr c tp) = "(vec " ++ show c ++ " " ++ show tp ++ ")"
instance ShowF TypeRepr

2
deps/crucible vendored

@ -1 +1 @@
Subproject commit 50700454f0d5ba0b0beb23455bd5e27d216bef74
Subproject commit da77394455d06241c4c01807745922ebb97fe40c

2
deps/flexdis86 vendored

@ -1 +1 @@
Subproject commit 64a3b8154a654e7079a6a5253a00d4fe8dac9934
Subproject commit 0803a143306b70cb33ea70fe758898b1bce5a247