From a71db095dbe9ed3abd02e6d392427a10371e1774 Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Fri, 27 Mar 2026 16:44:01 +0100
Subject: [PATCH 01/12] add Optional SingleChoice fields and do not allow empty
 selection in mandatory dropdowns

---
 .../src/FlexTask/Generic/FormInternal.hs      | 33 ++++++++++++++--
 flex-tasks/src/FlexTask/Widgets.hs            | 39 ++++++++++++++++++-
 2 files changed, 67 insertions(+), 5 deletions(-)

diff --git a/flex-tasks/src/FlexTask/Generic/FormInternal.hs b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
index a08d4f12..1e332266 100644
--- a/flex-tasks/src/FlexTask/Generic/FormInternal.hs
+++ b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
@@ -34,7 +34,6 @@ import Yesod (
   multiSelectField,
   optionsPairs,
   renderMessage,
-  selectField,
   textareaField,
   textField,
   )
@@ -45,6 +44,7 @@ import FlexTask.Widgets
   , radioField
   , joinWidgets
   , renderForm
+  , selectField
   )
 import FlexTask.YesodConfig (FlexForm(..), Handler, Rendered, Widget)
 
@@ -476,7 +476,7 @@ instance Formify [String] where
   formifyImplementation = formifyInstanceList
 
 
-instance (BaseForm a, Formify a) => Formify (Maybe a) where
+instance {-# Overlappable #-} (BaseForm a, Formify a) => Formify (Maybe a) where
   formifyImplementation = formifyInstanceOptionalField
 
 
@@ -491,7 +491,8 @@ instance Formify SingleChoiceSelection where
 instance Formify MultipleChoiceSelection where
   formifyImplementation = renderNextMultipleChoiceField (`zip` [1..]) . fmap getAnswers
 
-
+instance Formify (Maybe SingleChoiceSelection) where
+  formifyImplementation = renderNextOptionalSingleChoiceField (`zip` [1..]) . (=<<) (fmap getAnswer)
 
 {- |
 This is the main way to build generic forms.
@@ -796,7 +797,7 @@ renderNextSingleChoiceField pairsWith =
   (\case
       ChoicesDropdown fs opts ->
         ( fs
-        , areq $ selectField $ withOptions opts
+        , areq $ selectField True $ withOptions opts
         )
       ChoicesButtons align fs opts ->
         ( fs
@@ -809,6 +810,30 @@ renderNextSingleChoiceField pairsWith =
   )
   where withOptions = optionsPairs . pairsWith
 
+renderNextOptionalSingleChoiceField
+    :: Eq a
+    => ([SomeMessage FlexForm] -> [(SomeMessage FlexForm, a)])
+    -> Maybe (Maybe a)
+    -> [[FieldInfo]]
+    -> ([[FieldInfo]], Rendered [[Widget]])
+renderNextOptionalSingleChoiceField pairsWith =
+  renderNextField
+  (\case
+      ChoicesDropdown fs opts ->
+        ( fs
+        , aopt $ selectField False $ withOptions opts
+        )
+      ChoicesButtons align fs opts ->
+        ( fs
+        , aopt $ case align of
+            Vertical -> radioField True
+            Horizontal -> radioField False
+          $ withOptions opts
+        )
+      _ -> error "Incorrect FieldInfo for a single choice field! Use one of the 'buttons' or 'dropdown' functions."
+  )
+  where withOptions = optionsPairs . pairsWith
+
 renderNextMultipleChoiceField
     :: Eq a
     => ([SomeMessage FlexForm] -> [(SomeMessage FlexForm, a)])
diff --git a/flex-tasks/src/FlexTask/Widgets.hs b/flex-tasks/src/FlexTask/Widgets.hs
index bd10a8bd..fa290be8 100644
--- a/flex-tasks/src/FlexTask/Widgets.hs
+++ b/flex-tasks/src/FlexTask/Widgets.hs
@@ -60,13 +60,24 @@ joinWidgets = mapM_ (insertDiv . sequence_)
 
 
 radioField :: Eq a => Bool -> Handler (OptionList a) -> Field Handler a
-radioField isVertical = selectFieldHelper outside (\_ _ _ -> pure ()) inside Nothing
+radioField isVertical = selectFieldHelper outside onOpt inside Nothing
   where
     outside theId _name _attrs inside' =
       toWidget horizontalRBStyle >> [whamlet|
 $newline never
 <div>
   <span ##{theId}>^{inside'}
+|]
+    onOpt theId name isSel = nothingFun theId [whamlet|
+$newline never
+<input id=#{theId}-none type=radio name=#{name} value="" :isSel:checked>
+|]
+    nothingFun theId optionWidget = [whamlet|
+$newline never
+<.radio>
+  ^{optionWidget}
+  <label for=#{theId}-none>
+    _{MsgSelectNone}
 |]
     inside theId name attrs value isSel display =
       let radio = [whamlet|
@@ -110,3 +121,29 @@ checkboxField isVertical optList = (multiSelectField optList)
         ^{box}
 |]
       }
+
+
+selectField
+  :: (Eq a, RenderMessage site FormMessage)
+  => Bool
+  -> HandlerFor site (OptionList a)
+  -> Field (HandlerFor site) a
+selectField req = selectFieldHelper
+    (\theId name attrs inside -> [whamlet|
+$newline never
+<select ##{theId} name=#{name} :req:required *{attrs}>
+$if req
+  <option value="" selected disabled>_{MsgSelectNone}
+^{inside}
+|]) -- outside
+    (\_theId _name isSel -> [whamlet|
+$newline never
+<option value="None" :isSel:selected>_{MsgSelectNone}
+|]) -- onOpt
+    (\_theId _name _attrs value isSel text -> toWidget [whamlet|
+$newline never
+<option value=#{value} :isSel:selected>#{text}
+|]) -- inside
+    (Just $ \label -> [whamlet|
+<optgroup label=#{label}>
+|]) -- group label

From 3207315bb6e2a99f18a267938dd1fdac4d21b074 Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Tue, 31 Mar 2026 16:10:08 +0200
Subject: [PATCH 02/12] fix nesting and doctest examples

---
 flex-tasks/src/FlexTask/Generic/FormInternal.hs | 6 ++++++
 flex-tasks/src/FlexTask/Widgets.hs              | 6 +++---
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/flex-tasks/src/FlexTask/Generic/FormInternal.hs b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
index 1e332266..33d6686e 100644
--- a/flex-tasks/src/FlexTask/Generic/FormInternal.hs
+++ b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
@@ -208,6 +208,9 @@ Use if both of the following is true:
       Choose one
     </label>
     <select id="flexident1" ...>
+      <option value="" selected disabled>
+        &lt;None&gt;
+      </option>
       <option value="1">
         First Option
       </option>
@@ -766,6 +769,9 @@ that cannot use a bodyless `Formify` instance.
       Choose one
     </label>
     <select id="flexident1" ...>
+      <option value="" selected disabled>
+        &lt;None&gt;
+      </option>
       <option value="1">
         One
       </option>
diff --git a/flex-tasks/src/FlexTask/Widgets.hs b/flex-tasks/src/FlexTask/Widgets.hs
index fa290be8..f2fc3324 100644
--- a/flex-tasks/src/FlexTask/Widgets.hs
+++ b/flex-tasks/src/FlexTask/Widgets.hs
@@ -132,9 +132,9 @@ selectField req = selectFieldHelper
     (\theId name attrs inside -> [whamlet|
 $newline never
 <select ##{theId} name=#{name} :req:required *{attrs}>
-$if req
-  <option value="" selected disabled>_{MsgSelectNone}
-^{inside}
+  $if req
+    <option value="" selected disabled>_{MsgSelectNone}
+  ^{inside}
 |]) -- outside
     (\_theId _name isSel -> [whamlet|
 $newline never

From 4d37317b40bb384e3b4fe58e6d9d55062327b442 Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Tue, 31 Mar 2026 17:40:14 +0200
Subject: [PATCH 03/12] get style of empty option in line with others

---
 flex-tasks/src/FlexTask/Widgets.hs | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

diff --git a/flex-tasks/src/FlexTask/Widgets.hs b/flex-tasks/src/FlexTask/Widgets.hs
index f2fc3324..39f37235 100644
--- a/flex-tasks/src/FlexTask/Widgets.hs
+++ b/flex-tasks/src/FlexTask/Widgets.hs
@@ -72,12 +72,20 @@ $newline never
 $newline never
 <input id=#{theId}-none type=radio name=#{name} value="" :isSel:checked>
 |]
-    nothingFun theId optionWidget = [whamlet|
+    nothingFun _ optionWidget =
+      let emptyRadio = [whamlet|
 $newline never
-<.radio>
+<label>
   ^{optionWidget}
-  <label for=#{theId}-none>
-    _{MsgSelectNone}
+  _{MsgSelectNone}
+|]
+      in [whamlet|
+$newline never
+$if isVertical
+  <div>
+    ^{emptyRadio}
+$else
+  ^{emptyRadio}
 |]
     inside theId name attrs value isSel display =
       let radio = [whamlet|

From b3c0f9fa82a60935d9a8c1918d0faa05dcf22a1b Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Tue, 31 Mar 2026 17:52:00 +0200
Subject: [PATCH 04/12] remove empty answer from SingleChoiceSelection and
 deprecate associated function

---
 flex-tasks/src/FlexTask/Generic/FormInternal.hs  | 16 +++++++++-------
 flex-tasks/src/FlexTask/Generic/ParseInternal.hs |  5 ++---
 2 files changed, 11 insertions(+), 10 deletions(-)

diff --git a/flex-tasks/src/FlexTask/Generic/FormInternal.hs b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
index 33d6686e..b61f64f2 100644
--- a/flex-tasks/src/FlexTask/Generic/FormInternal.hs
+++ b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
@@ -225,7 +225,7 @@ Use if both of the following is true:
 </div>
 -}
 newtype SingleChoiceSelection = SingleChoiceSelection
-  {getAnswer :: Maybe Int -- ^ Retrieve the selected option. @Nothing@ if none.
+  {getAnswer :: Int -- ^ Retrieve the selected option.
   } deriving (Show,Eq,Generic)
 {- |
 Same as `SingleChoiceSelection`, but for multiple choice input.
@@ -257,18 +257,20 @@ Use if both of the following is true:
 </div>
 -}
 newtype MultipleChoiceSelection = MultipleChoiceSelection
-  { getAnswers :: [Int] -- ^ Retrieve the list of selected options. @[]@ if none.
+  { getAnswers :: [Int] -- ^ Retrieve the list of selected options. @[]@ if none are selected.
   } deriving (Show,Eq,Generic)
 
 
+{-# DEPRECATED singleChoiceEmpty
+  "This function only existed to satisfy a legacy interface in Autotool. It will be removed in a future version."
+  #-}
 -- | Value with no option selected.
 singleChoiceEmpty :: SingleChoiceSelection
-singleChoiceEmpty = SingleChoiceSelection Nothing
-
+singleChoiceEmpty = singleChoiceAnswer 0
 
 -- | Value with given number option selected.
 singleChoiceAnswer :: Int -> SingleChoiceSelection
-singleChoiceAnswer = SingleChoiceSelection . Just
+singleChoiceAnswer = SingleChoiceSelection
 
 
 -- | Value with no options selected.
@@ -488,14 +490,14 @@ instance Formify (Maybe a) => Formify [Maybe a] where
 
 
 instance Formify SingleChoiceSelection where
-  formifyImplementation = renderNextSingleChoiceField (`zip` [1..]) . (=<<) getAnswer
+  formifyImplementation = renderNextSingleChoiceField (`zip` [1..]) . (=<<) (Just . getAnswer)
 
 
 instance Formify MultipleChoiceSelection where
   formifyImplementation = renderNextMultipleChoiceField (`zip` [1..]) . fmap getAnswers
 
 instance Formify (Maybe SingleChoiceSelection) where
-  formifyImplementation = renderNextOptionalSingleChoiceField (`zip` [1..]) . (=<<) (fmap getAnswer)
+  formifyImplementation = renderNextOptionalSingleChoiceField (`zip` [1..]) . (=<<) (fmap (Just . getAnswer))
 
 {- |
 This is the main way to build generic forms.
diff --git a/flex-tasks/src/FlexTask/Generic/ParseInternal.hs b/flex-tasks/src/FlexTask/Generic/ParseInternal.hs
index ef08704a..d7861c7f 100644
--- a/flex-tasks/src/FlexTask/Generic/ParseInternal.hs
+++ b/flex-tasks/src/FlexTask/Generic/ParseInternal.hs
@@ -72,7 +72,6 @@ import FlexTask.Generic.FormInternal
   , SingleInputList(..)
   , multipleChoiceAnswer
   , singleChoiceAnswer
-  , singleChoiceEmpty
   )
 
 
@@ -233,7 +232,7 @@ instance Parse a => Parse (Maybe a) where
 
 
 instance Parse SingleChoiceSelection where
-  formParser = maybe singleChoiceEmpty singleChoiceAnswer <$> formParser
+  formParser = singleChoiceAnswer <$> formParser
 
 
 instance Parse MultipleChoiceSelection where
@@ -414,7 +413,7 @@ the input form is "infallible" since only constructed from String text fields, s
 >>> import Control.OutputCapable.Blocks.Debug (run)
 
 >>> run German $ parseInfallibly (formParser @SingleChoiceSelection) $ asSubmission [["1"]]
-Just (SingleChoiceSelection {getAnswer = Just 1})
+Just (SingleChoiceSelection {getAnswer = 1})
 
 >>> run English $ parseInfallibly (formParser @(SingleInputList Double)) $ asSubmission [["Wrong input"]]
 *** Exception: The impossible happened: (line 1, column 3):

From d6b496d3a512d9cb7d189601352ba4a0c7af9e39 Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Tue, 31 Mar 2026 18:01:48 +0200
Subject: [PATCH 05/12] allow html tag spelling

---
 .github/actions/spelling/expect.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/actions/spelling/expect.txt b/.github/actions/spelling/expect.txt
index 4a735744..393a65bc 100644
--- a/.github/actions/spelling/expect.txt
+++ b/.github/actions/spelling/expect.txt
@@ -13,6 +13,7 @@ hasdata
 img
 lindex
 lucius
+optgroup
 RWS
 syb
 subdirs

From 92f55835851183e9e3cb94e65ada917a7fd106d1 Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Wed, 1 Apr 2026 10:35:46 +0200
Subject: [PATCH 06/12] adjust comment

---
 flex-tasks/src/FlexTask/Widgets.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flex-tasks/src/FlexTask/Widgets.hs b/flex-tasks/src/FlexTask/Widgets.hs
index 39f37235..a0d9613a 100644
--- a/flex-tasks/src/FlexTask/Widgets.hs
+++ b/flex-tasks/src/FlexTask/Widgets.hs
@@ -147,7 +147,7 @@ $newline never
     (\_theId _name isSel -> [whamlet|
 $newline never
 <option value="None" :isSel:selected>_{MsgSelectNone}
-|]) -- onOpt
+|]) -- when optional
     (\_theId _name _attrs value isSel text -> toWidget [whamlet|
 $newline never
 <option value=#{value} :isSel:selected>#{text}

From 0a5bc1388c9f2efc1d91b9dfafa1b1979e77805f Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Wed, 1 Apr 2026 10:45:46 +0200
Subject: [PATCH 07/12] simplify Formify instances for SingleChoice

---
 flex-tasks/src/FlexTask/Generic/FormInternal.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/flex-tasks/src/FlexTask/Generic/FormInternal.hs b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
index b61f64f2..e363f6ea 100644
--- a/flex-tasks/src/FlexTask/Generic/FormInternal.hs
+++ b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
@@ -490,14 +490,14 @@ instance Formify (Maybe a) => Formify [Maybe a] where
 
 
 instance Formify SingleChoiceSelection where
-  formifyImplementation = renderNextSingleChoiceField (`zip` [1..]) . (=<<) (Just . getAnswer)
+  formifyImplementation = renderNextSingleChoiceField (`zip` [1..]) . fmap getAnswer
 
 
 instance Formify MultipleChoiceSelection where
   formifyImplementation = renderNextMultipleChoiceField (`zip` [1..]) . fmap getAnswers
 
 instance Formify (Maybe SingleChoiceSelection) where
-  formifyImplementation = renderNextOptionalSingleChoiceField (`zip` [1..]) . (=<<) (fmap (Just . getAnswer))
+  formifyImplementation = renderNextOptionalSingleChoiceField (`zip` [1..]) . fmap (fmap getAnswer)
 
 {- |
 This is the main way to build generic forms.

From 0d36908690868f4e15629f8c9e0039bcc2fee5d3 Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Wed, 1 Apr 2026 11:34:02 +0200
Subject: [PATCH 08/12] fix empty selection value for radio buttons

---
 flex-tasks/src/FlexTask/Widgets.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flex-tasks/src/FlexTask/Widgets.hs b/flex-tasks/src/FlexTask/Widgets.hs
index a0d9613a..5f634be1 100644
--- a/flex-tasks/src/FlexTask/Widgets.hs
+++ b/flex-tasks/src/FlexTask/Widgets.hs
@@ -70,7 +70,7 @@ $newline never
 |]
     onOpt theId name isSel = nothingFun theId [whamlet|
 $newline never
-<input id=#{theId}-none type=radio name=#{name} value="" :isSel:checked>
+<input id=#{theId}-none type=radio name=#{name} value="None" :isSel:checked>
 |]
     nothingFun _ optionWidget =
       let emptyRadio = [whamlet|

From 29e22d2151d4133c753fde589dc67cd877ffcc6b Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Wed, 1 Apr 2026 11:34:55 +0200
Subject: [PATCH 09/12] add instance helper for optional selection forms

---
 flex-tasks/src/FlexTask/Generic/Form.hs       |  1 +
 .../src/FlexTask/Generic/FormInternal.hs      | 69 +++++++++++++++++++
 2 files changed, 70 insertions(+)

diff --git a/flex-tasks/src/FlexTask/Generic/Form.hs b/flex-tasks/src/FlexTask/Generic/Form.hs
index 6196b3db..397d3d98 100644
--- a/flex-tasks/src/FlexTask/Generic/Form.hs
+++ b/flex-tasks/src/FlexTask/Generic/Form.hs
@@ -44,6 +44,7 @@ module FlexTask.Generic.Form (
   , formifyInstanceBasicField
   , formifyInstanceOptionalField
   , formifyInstanceSingleChoice
+  , formifyInstanceOptionalSingleChoice
   , formifyInstanceMultiChoice
   ) where
 
diff --git a/flex-tasks/src/FlexTask/Generic/FormInternal.hs b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
index e363f6ea..d45f033d 100644
--- a/flex-tasks/src/FlexTask/Generic/FormInternal.hs
+++ b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
@@ -794,6 +794,75 @@ formifyInstanceSingleChoice
     -> ([[FieldInfo]], Rendered [[Widget]])
 formifyInstanceSingleChoice = renderNextSingleChoiceField zipWithEnum
 
+
+{- |
+Same as `formifyInstanceSingleChoice`, but makes the choice optional.
+The resulting form will include a \<None\> option to make no selection.
+This option will be initially selected if no default is given.
+
+=== __Example__
+
+>>> instance Formify (Maybe MyType) where formifyImplementation = formifyInstanceOptionalSingleChoice
+>>> printWidget "en" $ formify (Just $ Just Two) [[buttonsEnum Horizontal "Choose one or abstain" (showToUniversalLabel @MyType)]]
+...
+<div class="flex-form-div form-group">
+...
+    <label for="flexident1">
+      Choose one or abstain
+    </label>
+    <div>
+      <span id="flexident1">
+        <label>
+          <input id="flexident1-none" type="radio" ... value="None">
+          &lt;None&gt;
+        </label>
+        <label>
+          <input id="flexident1-1" type="radio" ... value="1">
+          One
+        </label>
+        <label>
+          <input id="flexident1-2" type="radio" ... value="2" checked>
+          Two
+        </label>
+        <label>
+          <input id="flexident1-3" type="radio" ... value="3">
+          Three
+        </label>
+      </span>
+    </div>
+...
+</div>
+
+>>> printWidget "en" $ formify (Nothing @(Maybe MyType)) [[dropdownEnum "Choose one or abstain" (showToUniversalLabel @MyType)]]
+<div class="flex-form-div form-group">
+...
+    <label for="flexident1">
+      Choose one or abstain
+    </label>
+    <select id="flexident1" ...>
+      <option value="None" selected>
+        &lt;None&gt;
+      </option>
+      <option value="1">
+        One
+      </option>
+      <option value="2">
+        Two
+      </option>
+      <option value="3">
+        Three
+      </option>
+    </select>
+...
+</div>
+-}
+formifyInstanceOptionalSingleChoice
+    :: (Bounded a, Enum a, Eq a)
+    => Maybe (Maybe a)
+    -> [[FieldInfo]]
+    -> ([[FieldInfo]], Rendered [[Widget]])
+formifyInstanceOptionalSingleChoice = renderNextOptionalSingleChoiceField zipWithEnum
+
 renderNextSingleChoiceField
     :: Eq a
     => ([SomeMessage FlexForm] -> [(SomeMessage FlexForm, a)])

From 64d4732ff1a5254bae07d5908ac3de33f564604b Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Wed, 1 Apr 2026 11:35:12 +0200
Subject: [PATCH 10/12] write out required attribute in example

---
 flex-tasks/src/FlexTask/Generic/FormInternal.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/flex-tasks/src/FlexTask/Generic/FormInternal.hs b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
index d45f033d..6887a46d 100644
--- a/flex-tasks/src/FlexTask/Generic/FormInternal.hs
+++ b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
@@ -748,15 +748,15 @@ that cannot use a bodyless `Formify` instance.
     <div>
       <span id="flexident1">
         <label>
-          <input id="flexident1-1" type="radio" ... value="1" ...>
+          <input id="flexident1-1" type="radio" ... value="1" required...>
           One
         </label>
         <label>
-          <input id="flexident1-2" type="radio" ... value="2" checked ...>
+          <input id="flexident1-2" type="radio" ... value="2" checked required...>
           Two
         </label>
         <label>
-          <input id="flexident1-3" type="radio" ... value="3" ...>
+          <input id="flexident1-3" type="radio" ... value="3" required...>
           Three
         </label>
       </span>

From b365bb7242291c76a0d5a202b9a44222187f1dd0 Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Wed, 1 Apr 2026 11:39:14 +0200
Subject: [PATCH 11/12] relax max line length

---
 .editorconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.editorconfig b/.editorconfig
index 41c679b7..c23f2291 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -6,7 +6,7 @@ insert_final_newline = true
 trim_trailing_whitespace = true
 indent_style = space
 indent_size = 2
-max_line_length = 120
+max_line_length = 130
 
 [**.{yml,yaml,md,tex,txt}]
 max_line_length = 160

From 6eb745116eb72f6f956f15963aeb40c365891454 Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Wed, 1 Apr 2026 11:53:09 +0200
Subject: [PATCH 12/12] adjust error message

---
 flex-tasks/src/FlexTask/Generic/FormInternal.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flex-tasks/src/FlexTask/Generic/FormInternal.hs b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
index 6887a46d..99176013 100644
--- a/flex-tasks/src/FlexTask/Generic/FormInternal.hs
+++ b/flex-tasks/src/FlexTask/Generic/FormInternal.hs
@@ -907,7 +907,7 @@ renderNextOptionalSingleChoiceField pairsWith =
             Horizontal -> radioField False
           $ withOptions opts
         )
-      _ -> error "Incorrect FieldInfo for a single choice field! Use one of the 'buttons' or 'dropdown' functions."
+      _ -> error "Incorrect FieldInfo for an optional single choice field! Use one of the 'buttons' or 'dropdown' functions."
   )
   where withOptions = optionsPairs . pairsWith