mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-16 09:20:24 +03:00
Update expected output for regression test issue835.icry.
This commit is contained in:
parent
9c415a6a97
commit
fe465e108f
@ -3,8 +3,9 @@ Loading module Cryptol
|
||||
Loading module Float
|
||||
|
||||
[error] at <interactive>:1:1--1:28:
|
||||
Unsolved constraints:
|
||||
Unsolvable constraints:
|
||||
• SignedCmp (Float 5 11)
|
||||
arising from
|
||||
use of expression (<$)
|
||||
at <interactive>:1:1--1:28
|
||||
• Reason: Type 'Float' does not support signed comparisons.
|
||||
|
Loading…
Reference in New Issue
Block a user