cryptol/tests/parser/unary-2.icry.stdout

Loading module Cryptol
Loading module Cryptol
Loading module Main
[warning] at ./unary-2.cry:3:22--3:23:
  Defaulting type argument 'rep' of 'demote' to [2]
[warning] at ./unary-2.cry:2:22--2:23:
  Defaulting type argument 'rep' of 'demote' to [2]
True
True
Add another test for unary operators 2015-06-04 20:37:28 +03:00			`Loading module Cryptol`
			`Loading module Cryptol`
			`Loading module Main`
Improved locations for defaulting warnings. 2018-06-20 03:28:59 +03:00			`[warning] at ./unary-2.cry:3:22--3:23:`
Improve various defaulting/instantiatiation warnings and error messages. 2018-06-26 02:48:10 +03:00			`Defaulting type argument 'rep' of 'demote' to [2]`
Improved locations for defaulting warnings. 2018-06-20 03:28:59 +03:00			`[warning] at ./unary-2.cry:2:22--2:23:`
Improve various defaulting/instantiatiation warnings and error messages. 2018-06-26 02:48:10 +03:00			`Defaulting type argument 'rep' of 'demote' to [2]`
Add another test for unary operators 2015-06-04 20:37:28 +03:00			`True`
			`True`