AST.unsafeVHDLExtId $ strip_invalid s
where
-- Allowed characters, taken from ForSyde's mkVHDLExtId
AST.unsafeVHDLExtId $ strip_invalid s
where
-- Allowed characters, taken from ForSyde's mkVHDLExtId
strip_invalid = filter (`elem` allowed)
-- Create a record field selector that selects the given label from the record
strip_invalid = filter (`elem` allowed)
-- Create a record field selector that selects the given label from the record