samvv/bolt
1
0
Fork 0
Code Issues 24 Pull requests Projects Releases Packages Wiki Activity Actions

Add a test for module references inside type expressions

Browse source
This commit is contained in:
Sam Vervaeck 2022-09-18 21:36:32 +02:00
parent 0d5c791a70
commit 404ac83101
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/test/type-inference.md
View file

@ -185,3 +185,13 @@ let foo_1 : (Int, Int, Int) = (1, 2, 3)
let foo_2 : (Int, Int, Int) = (1, 2, "foo") let foo_2 : (Int, Int, Int) = (1, 2, "foo")
``` ```
## Module references work
```
mod CD.
mod A.
struct Foo
mod B.
let alpha: A.Foo
```