wdl-analysis 0.24.0

Analysis of Workflow Description Language (WDL) documents.
Documentation 
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80

error: type mismatch: expected type `Int`, but found type `String`
   ┌─ tests/analysis/type-mismatch/source.wdl:12:13
   │
12 │     Int a = "hello"
   │         -   ^^^^^^^ this is type `String`
   │         │    
   │         this expects type `Int`

error: type mismatch: expected type `String`, but found type `Int`
   ┌─ tests/analysis/type-mismatch/source.wdl:13:16
   │
13 │     String b = 5
   │            -   ^ this is type `Int`
   │            │    
   │            this expects type `String`

error: type mismatch: expected type `Array[String]`, but found type `Map[Int, String]`
   ┌─ tests/analysis/type-mismatch/source.wdl:14:23
   │
14 │     Array[String] c = { 1: "one", 2: "two" }
   │                   -   ^^^^^^^^^^^^^^^^^^^^^^ this is type `Map[Int, String]`
   │                   │    
   │                   this expects type `Array[String]`

error: type mismatch: expected type `Array[Int]`, but found type `Array[String]`
   ┌─ tests/analysis/type-mismatch/source.wdl:15:20
   │
15 │     Array[Int] d = ["a", "b", "c"]
   │                -   ^^^^^^^^^^^^^^^ this is type `Array[String]`
   │                │    
   │                this expects type `Array[Int]`

error: type mismatch: expected type `Map[Int, String]`, but found type `Map[String, Int]`
   ┌─ tests/analysis/type-mismatch/source.wdl:16:26
   │
16 │     Map[Int, String] e = { "a": 1, "b": 2, "c": 3 }
   │                      -   ^^^^^^^^^^^^^^^^^^^^^^^^^^ this is type `Map[String, Int]`
   │                      │    
   │                      this expects type `Map[Int, String]`

error: type mismatch: a type common to both type `Int` and type `String` does not exist
   ┌─ tests/analysis/type-mismatch/source.wdl:17:24
   │
17 │     Array[Int] f = [1, "2", "3"]
   │                     -  ^^^ this is type `String`
   │                     │   
   │                     this and all prior elements had a common type `Int`

error: type mismatch: a type common to both type `Int` and type `String` does not exist
   ┌─ tests/analysis/type-mismatch/source.wdl:17:29
   │
17 │     Array[Int] f = [1, "2", "3"]
   │                     -       ^^^ this is type `String`
   │                     │        
   │                     this and all prior elements had a common type `Int`

error: type mismatch: a type common to both type `String` and type `Int` does not exist
   ┌─ tests/analysis/type-mismatch/source.wdl:18:46
   │
18 │     Map[String, String] g = { "a": "1", "b": 2, "c": "3" }
   │                                    ---       ^ this is type `Int`
   │                                    │          
   │                                    this and all prior elements had a common type `String`

error: type mismatch: expected type `Int`, but found type `Array[Int]`
   ┌─ tests/analysis/type-mismatch/source.wdl:19:22
   │
19 │     Foo h = Foo { x: [1] }
   │                   -  ^^^ this is type `Array[Int]`
   │                   │   
   │                   this expects type `Int`

error: type mismatch: a type common to both type `String` and type `Int` does not exist
   ┌─ tests/analysis/type-mismatch/source.wdl:20:41
   │
20 │     Map[String, String] i = { "a": "1", 0: "2", "c": "3" }
   │                               ---       ^ this is type `Int`
   │                               │          
   │                               this and all prior elements had a common type `String`