cryptol/tests/issues/issue101.icry.stdout

Loading module Cryptol

[error] at <interactive>:1:1--1:11:
  Unsolvable constraint:
    0 >= 1
      arising from
      use of partial type function -
      at <interactive>:1:7--1:10
Initial import from internal repo 2014-04-18 02:34:25 +04:00			`Loading module Cryptol`

			`[error] at <interactive>:1:1--1:11:`
Update test output 2015-06-30 02:01:50 +03:00			`Unsolvable constraint:`
Initial import from internal repo 2014-04-18 02:34:25 +04:00			`0 >= 1`
			`arising from`
			`use of partial type function -`
Location information changed in test 101 2015-06-10 00:45:51 +03:00			`at <interactive>:1:7--1:10`