GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-26 09:22:20 +03:00
Code Issues Projects Releases Wiki Activity

Prefix fresh names with macaw

Browse Source 
Hopefully, this will avoid clashes with keywords.
This commit is contained in:
Iavor Diatchki 2018-03-21 16:14:31 -07:00
parent 36e6c8f7b9
commit 21ffae1ebe
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
symbolic/src/Data/Macaw/Symbolic.hs
View File

@ -379,7 +379,7 @@ freshValue sym str w ty =
where where
symName x = symName x =
case userSymbol x of case userSymbol ("macaw_" ++ x) of
Left err -> crash [ "Invalid symbol name:", show x, show err ] Left err -> crash [ "Invalid symbol name:", show x, show err ]
Right a -> return a Right a -> return a