Commit 022fdb7473ad354df6be96aceb8f620c78f4e8af

  • avatar
  • Ville Tirronen <ville.tirronen @j…u.fi> (Committer)
  • Thu Sep 13 09:32:00 EEST 2018
  • avatar
  • Ville Tirronen <ville.tirronen @j…u.fi> (Author)
  • Thu Sep 13 09:32:00 EEST 2018
DC bugs
DerivationChecker/tasks/type_constraints_freevars
(2 / 2)
  
1414multiple constraints, separate them with `,`).
1515
1616''
17, t_expression = ''length x + 1''
17, t_expression = ''maximum xs + 1''
1818, knownInstances = [] : List Text
19, accepts = [{acceptsType="[a]->a",msg="Good. The body of the function is `a` and the parameter is deduced to be `[a]`. Adding in the constraints, the type of `f` is then `Num a => [a] -> a`. You can proceed to [first actual exercise](../type_min_max/page)"}]
19, accepts = [{acceptsType="a",msg="Good. The body of the function is `a` and the parameter is deduced to be `[a]`. Adding in the constraints, the type of `f` is then `Num a => [a] -> a`. You can proceed to [first actual exercise](../type_min_max/page)"}]
2020, needsContext = True
2121}
New_Hec/TaskMaster/TaskView.template.html
(1 / 1)
  
3232 ng-class="status(exercise.completed)">
3333 {{status(exercise.completed)}}  </span>
3434 <a ng-if="exercise.task_ids[0]"
35 href="https://functional-programming.it.jyu.fi/tiea341/submissionSystem/student/static/Viewer.html#?submission={{exercise.task_ids[0]}}"
35 href="https://functional-programming.it.jyu.fi/submissionSystem/student/static/elm-review/page/ViewerPage.html?submission={{exercise.task_ids[0]}}"
3636 >review</a>
3737
3838 </span>