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

Revise parameterized-utils list cons.

Browse Source
This commit is contained in:
Joe Hendrix 2017-12-08 11:43:56 -08:00
parent da8d7a0c7a
commit 0c9efc984c
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -141,7 +141,7 @@ instance Show (TypeRepr tp) where
show BoolTypeRepr = "bool"
show (BVTypeRepr w) = "[" ++ show w ++ "]"
show (TupleTypeRepr P.Nil) = "()"
show (TupleTypeRepr (h P.:> z)) =
show (TupleTypeRepr (h P.:< z)) =
"(" ++ show h ++ foldrFC (\tp r -> "," ++ show tp ++ r) ")" z
instance KnownRepr TypeRepr BoolType where