Apply 2 suggestion(s) to 2 file(s)
This commit is contained in:
parent
26d49711d3
commit
74219c632d
@ -165,7 +165,7 @@ postEAutoOccurrenceR tid ssh csh examn = do
|
|||||||
occMappingRule = examOccurrenceMappingRule eaofMapping
|
occMappingRule = examOccurrenceMappingRule eaofMapping
|
||||||
|
|
||||||
loadProp curr max'
|
loadProp curr max'
|
||||||
| Just max'' <- max', max'' /= 0
|
| Just max'' <- assertM (/= 0) max'
|
||||||
= MsgProportion (toMessage curr) (toMessage max'') (toRational curr / toRational max'')
|
= MsgProportion (toMessage curr) (toMessage max'') (toRational curr / toRational max'')
|
||||||
| otherwise
|
| otherwise
|
||||||
= MsgProportionNoRatio (toMessage curr) $ maybe "∞" toMessage max'
|
= MsgProportionNoRatio (toMessage curr) $ maybe "∞" toMessage max'
|
||||||
|
|||||||
@ -18,7 +18,7 @@ $newline never
|
|||||||
<tr>
|
<tr>
|
||||||
<td>
|
<td>
|
||||||
<td>
|
<td>
|
||||||
<td .explanation> _{MsgExamRoomCapacityTip}
|
<td .explanation>_{MsgExamRoomCapacityTip}
|
||||||
<td>
|
<td>
|
||||||
<td>
|
<td>
|
||||||
<td>
|
<td>
|
||||||
|
|||||||
Reference in New Issue
Block a user