GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 13:01:31 +03:00
Code Issues Projects Releases Wiki Activity

Add unionTM to the RewMap' Trie

Browse Source
This commit is contained in:
Trevor Elliott 2014-12-18 11:04:08 -08:00
parent 1e063e58f3
commit e3d41b0f2c
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Cryptol/Transform/MonoValues.hs
View File

@ -110,6 +110,8 @@ instance TrieMap RewMap' (QName,[Type],Int) where
f2 (Just pM) = Just (alterTM n f pM)
unionTM f (RM a) (RM b) = RM (unionTM (unionTM (unionTM f)) a b)
toListTM (RM m) = [ ((x,ts,n),y) | (x,tM) <- toListTM m
, (ts,pM) <- toListTM tM
, (n,y) <- toListTM pM ]