Don't pull named types
This commit is contained in:
parent
0271fbc1d7
commit
4d9c4176a8
|
@ -178,7 +178,6 @@ removeNesting p
|
|||
|
||||
canPull :: A.SpecType -> Bool
|
||||
canPull (A.Proc _ _ _ _) = True
|
||||
canPull (A.DataType _ _) = True
|
||||
canPull (A.RecordType _ _ _) = True
|
||||
canPull (A.Protocol _ _) = True
|
||||
canPull (A.ProtocolCase _ _) = True
|
||||
|
|
Loading…
Reference in New Issue
Block a user