File: scope_behaviour.fut

package info (click to toggle)
haskell-futhark 0.25.32-3
  • links: PTS, VCS
  • area: main
  • in suites:
  • size: 18,236 kB
  • sloc: haskell: 100,484; ansic: 12,100; python: 3,440; yacc: 785; sh: 561; javascript: 558; lisp: 399; makefile: 272
file content (30 lines) | stat: -rw-r--r-- 455 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
-- ==
-- input {
--   10 3.0
-- }
-- output {
-- 1 2 3
-- }
type foo = (i32, f64)

module M0 = {
  type foo = (f64, i32)
  type bar = foo
}

module M1 = {
  type foo = f64
  type bar = M0.bar -- type is defined at line 13

  module M0 = {
    type foo = M0.foo -- is defined at line 12
    type bar = (i32, i32, i32)
  }

  type baz = M0.bar -- defined at line 24
}

type baz = M1.baz -- is defined at line 27

def main (a: i32) (b: f64) = (1,2,3) : baz