summaryrefslogtreecommitdiff
path: root/testdata/Builtins.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-04-18 08:22:37 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-04-18 08:22:37 +0200
commitac32ca07893fdf3439cd81f91d9035e09ce76ee5 (patch)
tree9b5e7357b7b4fa528c803cef68837a02e3e2e9c6 /testdata/Builtins.out
parentb03980fcbff57e6ac8c5d8e16e032ba050471ce5 (diff)
bugfix: show missing types in tooltips
Diffstat (limited to 'testdata/Builtins.out')
-rw-r--r--testdata/Builtins.out12
1 files changed, 12 insertions, 0 deletions
diff --git a/testdata/Builtins.out b/testdata/Builtins.out
index c7c58e78..45100590 100644
--- a/testdata/Builtins.out
+++ b/testdata/Builtins.out
@@ -1951,6 +1951,7 @@ testdata/Builtins.lc 214:14-214:38 Type
1951testdata/Builtins.lc 214:15-214:16 V3 1951testdata/Builtins.lc 214:15-214:16 V3
1952testdata/Builtins.lc 214:20-214:23 Type 1952testdata/Builtins.lc 214:20-214:23 Type
1953testdata/Builtins.lc 214:21-214:22 V2 1953testdata/Builtins.lc 214:21-214:22 V2
1954testdata/Builtins.lc 214:28-214:31 Type
1954testdata/Builtins.lc 214:28-214:38 Type 1955testdata/Builtins.lc 214:28-214:38 Type
1955testdata/Builtins.lc 214:29-214:30 Type 1956testdata/Builtins.lc 214:29-214:30 Type
1956testdata/Builtins.lc 214:35-214:38 Type 1957testdata/Builtins.lc 214:35-214:38 Type
@@ -2041,6 +2042,7 @@ testdata/Builtins.lc 243:46-243:59 Type
2041testdata/Builtins.lc 243:56-243:57 Type 2042testdata/Builtins.lc 243:56-243:57 Type
2042testdata/Builtins.lc 243:58-243:59 PrimitiveType 2043testdata/Builtins.lc 243:58-243:59 PrimitiveType
2043testdata/Builtins.lc 250:6-250:21 PrimitiveType -> Type->Type 2044testdata/Builtins.lc 250:6-250:21 PrimitiveType -> Type->Type
2045testdata/Builtins.lc 250:28-250:43 Type
2044testdata/Builtins.lc 250:29-250:38 Type -> PrimitiveType->Type 2046testdata/Builtins.lc 250:29-250:38 Type -> PrimitiveType->Type
2045testdata/Builtins.lc 250:29-250:40 PrimitiveType->Type 2047testdata/Builtins.lc 250:29-250:40 PrimitiveType->Type
2046testdata/Builtins.lc 250:29-250:42 Type 2048testdata/Builtins.lc 250:29-250:42 Type
@@ -2111,11 +2113,13 @@ testdata/Builtins.lc 264:14-264:20 Type
2111testdata/Builtins.lc 264:14-264:25 Type 2113testdata/Builtins.lc 264:14-264:25 Type
2112testdata/Builtins.lc 264:24-264:25 Type | V2 2114testdata/Builtins.lc 264:24-264:25 Type | V2
2113testdata/Builtins.lc 266:1-266:12 {a:PrimitiveType} -> {b : List Type} -> String -> (d : List String) -> {e : 'len String d ~ 'len Type b} -> PrimitiveStream a (HList b) 2115testdata/Builtins.lc 266:1-266:12 {a:PrimitiveType} -> {b : List Type} -> String -> (d : List String) -> {e : 'len String d ~ 'len Type b} -> PrimitiveStream a (HList b)
2116testdata/Builtins.lc 266:31-266:37 Type
2114testdata/Builtins.lc 266:31-266:123 Type 2117testdata/Builtins.lc 266:31-266:123 Type
2115testdata/Builtins.lc 266:32-266:36 Type 2118testdata/Builtins.lc 266:32-266:36 Type
2116testdata/Builtins.lc 266:41-266:47 Type 2119testdata/Builtins.lc 266:41-266:47 Type
2117testdata/Builtins.lc 266:41-266:123 Type 2120testdata/Builtins.lc 266:41-266:123 Type
2118testdata/Builtins.lc 266:51-266:123 Type 2121testdata/Builtins.lc 266:51-266:123 Type
2122testdata/Builtins.lc 266:65-266:73 Type
2119testdata/Builtins.lc 266:66-266:72 Type 2123testdata/Builtins.lc 266:66-266:72 Type
2120testdata/Builtins.lc 266:78-266:81 {a} -> List a -> Int 2124testdata/Builtins.lc 266:78-266:81 {a} -> List a -> Int
2121testdata/Builtins.lc 266:78-266:84 Int 2125testdata/Builtins.lc 266:78-266:84 Int
@@ -2157,6 +2161,7 @@ testdata/Builtins.lc 273:34-273:39 Type
2157testdata/Builtins.lc 274:7-274:21 {a} -> SimpleFragment a -> a 2161testdata/Builtins.lc 274:7-274:21 {a} -> SimpleFragment a -> a
2158testdata/Builtins.lc 274:28-274:29 Type 2162testdata/Builtins.lc 274:28-274:29 Type
2159testdata/Builtins.lc 277:6-277:20 Nat -> Type->Type 2163testdata/Builtins.lc 277:6-277:20 Nat -> Type->Type
2164testdata/Builtins.lc 277:27-277:41 Type
2160testdata/Builtins.lc 277:28-277:36 Nat -> Type->Type 2165testdata/Builtins.lc 277:28-277:36 Nat -> Type->Type
2161testdata/Builtins.lc 277:28-277:38 Type->Type 2166testdata/Builtins.lc 277:28-277:38 Type->Type
2162testdata/Builtins.lc 277:28-277:40 Type 2167testdata/Builtins.lc 277:28-277:40 Type
@@ -2526,6 +2531,7 @@ testdata/Builtins.lc 445:6-447:16 Type
2526testdata/Builtins.lc 446:7-446:16 PointSpriteCoordOrigin 2531testdata/Builtins.lc 446:7-446:16 PointSpriteCoordOrigin
2527testdata/Builtins.lc 447:7-447:16 PointSpriteCoordOrigin 2532testdata/Builtins.lc 447:7-447:16 PointSpriteCoordOrigin
2528testdata/Builtins.lc 450:1-450:12 () -> Vec 2 Float -> Vec 4 Float 2533testdata/Builtins.lc 450:1-450:12 () -> Vec 2 Float -> Vec 4 Float
2534testdata/Builtins.lc 450:16-450:18 Type
2529testdata/Builtins.lc 450:22-450:25 Nat -> Type->Type 2535testdata/Builtins.lc 450:22-450:25 Nat -> Type->Type
2530testdata/Builtins.lc 450:22-450:27 Type->Type 2536testdata/Builtins.lc 450:22-450:27 Type->Type
2531testdata/Builtins.lc 450:22-450:33 Type 2537testdata/Builtins.lc 450:22-450:33 Type
@@ -2611,9 +2617,11 @@ testdata/Builtins.lc 462:60-462:70 Type
2611testdata/Builtins.lc 462:69-462:70 Type 2617testdata/Builtins.lc 462:69-462:70 Type
2612testdata/Builtins.lc 463:3-463:8 (BlendEquation, BlendEquation) -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor)) -> Vec 4 Float -> Blending Float | Blending Float 2618testdata/Builtins.lc 463:3-463:8 (BlendEquation, BlendEquation) -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor)) -> Vec 4 Float -> Blending Float | Blending Float
2613testdata/Builtins.lc 463:3-465:74 Type 2619testdata/Builtins.lc 463:3-465:74 Type
2620testdata/Builtins.lc 463:26-463:56 Type
2614testdata/Builtins.lc 463:27-463:40 Type 2621testdata/Builtins.lc 463:27-463:40 Type
2615testdata/Builtins.lc 463:27-463:55 List Type 2622testdata/Builtins.lc 463:27-463:55 List Type
2616testdata/Builtins.lc 463:42-463:55 List Type | Type 2623testdata/Builtins.lc 463:42-463:55 List Type | Type
2624testdata/Builtins.lc 464:29-464:97 Type
2617testdata/Builtins.lc 464:29-465:74 Type 2625testdata/Builtins.lc 464:29-465:74 Type
2618testdata/Builtins.lc 464:30-464:62 Type 2626testdata/Builtins.lc 464:30-464:62 Type
2619testdata/Builtins.lc 464:30-464:96 List Type 2627testdata/Builtins.lc 464:30-464:96 List Type
@@ -2766,6 +2774,7 @@ testdata/Builtins.lc 490:36-490:43 Type->Nat
2766testdata/Builtins.lc 490:45-490:50 Type 2774testdata/Builtins.lc 490:45-490:50 Type
2767testdata/Builtins.lc 490:45-490:59 Nat->Nat | Type->Nat 2775testdata/Builtins.lc 490:45-490:59 Nat->Nat | Type->Nat
2768testdata/Builtins.lc 490:58-490:59 ImageKind->Nat | Nat | Nat -> ImageKind->Nat 2776testdata/Builtins.lc 490:58-490:59 ImageKind->Nat | Nat | Nat -> ImageKind->Nat
2777testdata/Builtins.lc 492:12-492:15 Type
2769testdata/Builtins.lc 492:12-492:23 Type 2778testdata/Builtins.lc 492:12-492:23 Type
2770testdata/Builtins.lc 492:12-495:50 V0->V1 | {a} -> List a -> Type 2779testdata/Builtins.lc 492:12-495:50 V0->V1 | {a} -> List a -> Type
2771testdata/Builtins.lc 492:13-492:14 V1 2780testdata/Builtins.lc 492:13-492:14 V1
@@ -2803,6 +2812,7 @@ testdata/Builtins.lc 509:6-509:46 Type
2803testdata/Builtins.lc 509:24-509:27 Type 2812testdata/Builtins.lc 509:24-509:27 Type
2804testdata/Builtins.lc 509:35-509:46 Type 2813testdata/Builtins.lc 509:35-509:46 Type
2805testdata/Builtins.lc 509:36-509:45 Type 2814testdata/Builtins.lc 509:36-509:45 Type
2815testdata/Builtins.lc 511:15-511:26 Type
2806testdata/Builtins.lc 511:16-511:25 Type 2816testdata/Builtins.lc 511:16-511:25 Type
2807testdata/Builtins.lc 511:30-511:36 Type 2817testdata/Builtins.lc 511:30-511:36 Type
2808testdata/Builtins.lc 511:31-511:35 Type 2818testdata/Builtins.lc 511:31-511:35 Type
@@ -2828,6 +2838,7 @@ testdata/Builtins.lc 515:102-515:103 ImageKind | ImageKind->ImageKind
2828testdata/Builtins.lc 517:1-517:11 {a : List ImageKind} -> {b:Nat} -> {c : List Type} -> {d : a ~ 'map Type ImageKind FragmentOperationKind c} -> HList c -> FragmentStream b (HList ('imageType' a)) -> FrameBuffer b a -> FrameBuffer b a 2838testdata/Builtins.lc 517:1-517:11 {a : List ImageKind} -> {b:Nat} -> {c : List Type} -> {d : a ~ 'map Type ImageKind FragmentOperationKind c} -> HList c -> FragmentStream b (HList ('imageType' a)) -> FrameBuffer b a -> FrameBuffer b a
2829testdata/Builtins.lc 517:15-517:174 Type 2839testdata/Builtins.lc 517:15-517:174 Type
2830testdata/Builtins.lc 517:28-517:31 Type 2840testdata/Builtins.lc 517:28-517:31 Type
2841testdata/Builtins.lc 517:39-517:45 Type
2831testdata/Builtins.lc 517:39-517:174 Type 2842testdata/Builtins.lc 517:39-517:174 Type
2832testdata/Builtins.lc 517:40-517:44 Type 2843testdata/Builtins.lc 517:40-517:44 Type
2833testdata/Builtins.lc 517:49-517:174 Type 2844testdata/Builtins.lc 517:49-517:174 Type
@@ -2885,6 +2896,7 @@ testdata/Builtins.lc 524:61-524:66 Type
2885testdata/Builtins.lc 524:61-524:75 ImageKind->ImageKind | Type->ImageKind 2896testdata/Builtins.lc 524:61-524:75 ImageKind->ImageKind | Type->ImageKind
2886testdata/Builtins.lc 524:74-524:75 ImageKind | ImageKind->ImageKind | Nat -> ImageKind->ImageKind 2897testdata/Builtins.lc 524:74-524:75 ImageKind | ImageKind->ImageKind | Nat -> ImageKind->ImageKind
2887testdata/Builtins.lc 530:1-530:12 {a : List Type} -> {b : 'sameLayerCounts a} -> HList a -> FrameBuffer (ImageLC ('head Type a)) ('map Type ImageKind GetImageKind a) 2898testdata/Builtins.lc 530:1-530:12 {a : List Type} -> {b : 'sameLayerCounts a} -> HList a -> FrameBuffer (ImageLC ('head Type a)) ('map Type ImageKind GetImageKind a)
2899testdata/Builtins.lc 530:30-530:36 Type
2888testdata/Builtins.lc 530:31-530:35 Type 2900testdata/Builtins.lc 530:31-530:35 Type
2889testdata/Builtins.lc 530:40-530:125 Type 2901testdata/Builtins.lc 530:40-530:125 Type
2890testdata/Builtins.lc 530:41-530:56 List Type -> Type 2902testdata/Builtins.lc 530:41-530:56 List Type -> Type
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:20:43 +0000