errorDisplay :: State -> Widget ()
errorDisplay state
 | null (compilationError state) = return ()
 | otherwise = rawHtml $
    pre
        ! atr "class" "card-panel red darken-1 white-text"
        ! atr "role" "alert"
        $ code (compilationError state)
errorDisplay :: State -> Widget ()
errorDisplay state
 | null (compilationError state) = return ()
 | otherwise = rawHtml $
    pre
        ! atr "class" "card-panel red darken-1 white-text"
        ! atr "role" "alert"
        $ code (compilationError state)
errorDisplay state
 | null (compilationError state) = return ()
 | otherwise = rawHtml $
    pre
        ! atr "class" "card-panel red darken-1 white-text"
        ! atr "role" "alert"
        $ code (compilationError state)