Commit 290aef76 authored by Katharina Rahf's avatar Katharina Rahf
Browse files

fixed show-function for Options-Pragma

parent 5f75fff5
......@@ -118,7 +118,7 @@ showAttributes (IntAttributes i _) = show i
showAttributes (FloatAttributes f _) = show f
showAttributes (StringAttributes s _) = show s
showAttributes (IdentAttributes m i) = "\"" ++ (intercalate "." (m ++ [i])) ++ "\""
showAttributes (OptionsAttributes t a) = "\"" ++ (show t ++ ' ' : show a) ++ "\""
showAttributes (OptionsAttributes t a) = "(" ++ show t ++ ")" ++ ' ' : show a
-- Concatenate two 'String's with a smart space in between,
-- which is only added if both 'String's are non-empty
......@@ -126,4 +126,3 @@ showAttributes (OptionsAttributes t a) = "\"" ++ (show t ++ ' ' : show a) ++ "\
[] +++ t = t
s +++ [] = s
s +++ t = s ++ ' ' : t
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment