cryptol/tests/issues/issue177.cry

module issue177 where

import issue177A
import issue177B as B
import issue177C as C

type Byte = [8]

w : Byte
w = zero

x : Word16
x = zero

y : B::Word32
y = zero

z = C::z
Add test for issue #177. 2015-03-04 20:58:53 +03:00			`module issue177 where`

Update test for issue #177 The issue is not the set of names in scope, it is the type names printed out by the :t command. It should use the same names that are in scope in the module. If the type of an expression contains a type synonym that is not in scope at all, then I'm not sure what exactly it should do. 2015-03-04 22:22:37 +03:00			`import issue177A`
			`import issue177B as B`
			`import issue177C as C`
Add test for issue #177. 2015-03-04 20:58:53 +03:00
Update test for issue #177 The issue is not the set of names in scope, it is the type names printed out by the :t command. It should use the same names that are in scope in the module. If the type of an expression contains a type synonym that is not in scope at all, then I'm not sure what exactly it should do. 2015-03-04 22:22:37 +03:00			`type Byte = [8]`
Add test for issue #177. 2015-03-04 20:58:53 +03:00
Update test for issue #177 The issue is not the set of names in scope, it is the type names printed out by the :t command. It should use the same names that are in scope in the module. If the type of an expression contains a type synonym that is not in scope at all, then I'm not sure what exactly it should do. 2015-03-04 22:22:37 +03:00			`w : Byte`
			`w = zero`
Add test for issue #177. 2015-03-04 20:58:53 +03:00
Update test for issue #177 The issue is not the set of names in scope, it is the type names printed out by the :t command. It should use the same names that are in scope in the module. If the type of an expression contains a type synonym that is not in scope at all, then I'm not sure what exactly it should do. 2015-03-04 22:22:37 +03:00			`x : Word16`
			`x = zero`

			`y : B::Word32`
			`y = zero`

			`z = C::z`