Commit 14e42114 authored by Diederik van Arkel's avatar Diederik van Arkel

add NoReturnType for console app without result from Start rule

parent 57fb4ed0
......@@ -243,13 +243,15 @@ where
:+: RadioControl
[ ("Basic Values Only" ,Nothing,noPS (\l->{l & ao = {l.ao & o = BasicValuesOnly}}))
, ("Show Constructors" ,Nothing,noPS (\l->{l & ao = {l.ao & o = ShowConstructors}}))
, ("No Return Type" ,Nothing,noPS (\l->{l & ao = {l.ao & o = NoReturnType}}))
, ("No Console" ,Nothing,noPS (\l->{l & ao = {l.ao & o = NoConsole}}))
]
(Columns 1)
(case ao.o of
BasicValuesOnly -> 1
ShowConstructors -> 2
NoConsole -> 3
NoReturnType -> 3
NoConsole -> 4
)
[ ControlPos (Left,zero)
]
......
......@@ -28,9 +28,11 @@ where
| memoryProfiling = 32
= 0
cons
| o == BasicValuesOnly = 1
| o == ShowConstructors = 0
= 16
= case o of
BasicValuesOnly -> 1
ShowConstructors -> 0
NoReturnType -> 16
NoConsole -> 16
FlagsToApplicationOptions :: !Int !ApplicationOptions -> ApplicationOptions;
FlagsToApplicationOptions flags applicationOptions
......
......@@ -127,6 +127,7 @@ DefApplicationOptions :: ApplicationOptions
:: Output
= BasicValuesOnly
| ShowConstructors
| NoReturnType
| NoConsole
instance == Output
......
......@@ -325,7 +325,7 @@ DefApplicationOptions =
, standard_rte = True
}
:: Output = BasicValuesOnly | ShowConstructors | NoConsole
:: Output = BasicValuesOnly | ShowConstructors | NoReturnType | NoConsole
instance == Output
where
......@@ -334,6 +334,8 @@ where
= True
(==) ShowConstructors ShowConstructors
= True
(==) NoReturnType NoReturnType
= True
(==) NoConsole NoConsole
= True
(==) _ _
......@@ -346,6 +348,8 @@ where
= BasicValuesOnly
fromString "ShowConstructors"
= ShowConstructors
fromString "NoReturnType"
= NoReturnType
fromString "NoConsole"
= NoConsole
fromString string
......@@ -358,6 +362,8 @@ where
= "BasicValuesOnly"
toString ShowConstructors
= "ShowConstructors"
toString NoReturnType
= "NoReturnType"
toString NoConsole
= "NoConsole"
......
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