QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Test case for another name space bug

Browse Source
This commit is contained in:
Ulf Norell 2019-06-27 09:13:10 +02:00
parent a47fa59f5b
commit 259bae1720
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
test/contracts/namespace_bug.aes
View File

@ -8,5 +8,11 @@ namespace Foo =
contract Bug = contract Bug =
// Crashed the type checker // Crashed the type checker
function foo () = Foo.bar() function foo() = Foo.bar()
// Also crashed the type checker
type t = Foo.bla
function test() =
let x : t = Foo.bar()
x