Commit 614e22ff authored by Andrew Gibiansky's avatar Andrew Gibiansky

Update example notebook

parent 2063a102
This source diff could not be displayed because it is too large. You can view the blob instead.
...@@ -81,14 +81,15 @@ showIdea :: Idea -> Maybe LintSuggestion ...@@ -81,14 +81,15 @@ showIdea :: Idea -> Maybe LintSuggestion
showIdea idea = showIdea idea =
case ideaTo idea of case ideaTo idea of
Nothing -> Nothing Nothing -> Nothing
Just whyNot -> Just Just whyNot ->
Suggest Just
{ line = srcSpanStartLine $ ideaSpan idea Suggest
, found = showSuggestion $ ideaFrom idea { line = srcSpanStartLine $ ideaSpan idea
, whyNot = showSuggestion whyNot , found = showSuggestion $ ideaFrom idea
, severity = ideaSeverity idea , whyNot = showSuggestion whyNot
, suggestion = ideaHint idea , severity = ideaSeverity idea
} , suggestion = ideaHint idea
}
createModule :: ParseMode -> Located CodeBlock -> Maybe ExtsModule createModule :: ParseMode -> Located CodeBlock -> Maybe ExtsModule
createModule mode (Located line block) = createModule mode (Located line block) =
......
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