From 5b7d666edcc0269cef05c62db97d902c9fe723ce Mon Sep 17 00:00:00 2001 From: Kosyrev Serge <_deepfire@feelingofgreen.ru> Date: Fri, 21 Sep 2018 22:28:53 +0300 Subject: testdata: accept new Builtins.out due to changes in this branch --- testdata/Builtins.out | 163 +++++++++++++++++++++++++++++++------------------- 1 file changed, 101 insertions(+), 62 deletions(-) diff --git a/testdata/Builtins.out b/testdata/Builtins.out index 654876f7..13c62398 100644 --- a/testdata/Builtins.out +++ b/testdata/Builtins.out @@ -1291,6 +1291,8 @@ PrjImageColor data Output :: Type where ScreenOut :: forall (a :: _) (b :: _) . FrameBuffer a b -> Output + TextureOut + :: forall (c :: _) (d :: _) . Vec (fromInt 2) Int -> FrameBuffer c d -> Output renderFrame = _lhs renderFrame (_rhs ScreenOut) @@ -1658,7 +1660,8 @@ accumulationContext = _lhs accumulationContext \(a :: _) -> _rhs a 'Maybe = <> 'Output :: Type -'Output = <> +'Output + = <> 'PointSize :: Type -> Type 'PointSize @@ -2489,6 +2492,10 @@ Texture2D = <<1st constructor of 'Texture>> Texture2DSlot :: String -> Texture Texture2DSlot = <<0th constructor of 'Texture>> +TextureOut + :: forall (a :: Nat) (b :: [ImageKind]) . Vec 2 Int -> FrameBuffer a b -> Output +TextureOut = <<1st constructor of 'Output>> + Triangle :: PrimitiveType Triangle = <<0th constructor of 'PrimitiveType>> @@ -2726,8 +2733,10 @@ case'Output :: forall (a :: Output -> Type) -> (forall (b :: Nat) (c :: [ImageKind]) . forall (d :: FrameBuffer b c) -> a ('ScreenOut b c d)) - -> forall (e :: Output) -> a e -case'Output = \a b c -> <> + -> (forall (e :: Nat) (f :: [ImageKind]) + . forall (g :: Vec 2 Int) (h :: FrameBuffer e f) -> a ('TextureOut e f g h)) + -> forall (i :: Output) -> a i +case'Output = \a b c d -> <> case'PointSize :: forall a @@ -8584,8 +8593,8 @@ zero Type 540:6-540:12 Type | Type | Type | Type -540:6-541:12 - Type +540:6-542:13 + Type | Type 541:3-541:12 forall (a :: Nat) (b :: [ImageKind]) . FrameBuffer a b -> Output | Output | Type | Type | Type | Type @@ -8603,120 +8612,150 @@ zero _b 541:45-541:51 Type | Type -543:1-543:12 +542:3-542:13 + forall (a :: Nat) (b :: [ImageKind]) + . Vec 2 Int + -> FrameBuffer a b -> Output | Output | Type | Type | Type | Type | Type +542:26-542:29 + Nat -> Type -> Type +542:26-542:31 + Type -> Type +542:26-542:35 + Type +542:26-542:64 + Type | Type +542:30-542:31 + _b +542:32-542:35 + Type +542:39-542:50 + Nat -> [ImageKind] -> Type +542:39-542:52 + [ImageKind] -> Type +542:39-542:54 + Type +542:39-542:64 + Type +542:51-542:52 + _e +542:53-542:54 + _c +542:58-542:64 + Type | Type +544:1-544:12 forall (a :: Nat) (b :: [ImageKind]) . FrameBuffer a b -> Output -543:15-543:24 +544:15-544:24 forall (a :: Nat) (b :: [ImageKind]) . FrameBuffer a b -> Output -549:6-549:13 +550:6-550:13 Type | Type | Type | Type -549:6-553:12 +550:6-554:12 Type | Type -550:3-550:16 +551:3-551:16 String -> Texture | Texture | Type | Type -550:20-550:26 +551:20-551:26 Type -551:20-551:27 +552:20-552:27 Type | Type -553:3-553:12 +554:3-554:12 Vec 2 Int -> Image 1 ('Color (Vec 4 Float)) -> Texture | Texture | Type | Type | Type -553:20-553:23 +554:20-554:23 Nat -> Type -> Type -553:20-553:25 +554:20-554:25 Type -> Type -553:20-553:29 +554:20-554:29 Type -553:24-553:25 +554:24-554:25 _b -553:26-553:29 +554:26-554:29 Type -554:20-554:25 +555:20-555:25 Nat -> ImageKind -> Type -554:20-554:27 +555:20-555:27 ImageKind -> Type -554:20-554:49 +555:20-555:49 Type -554:20-555:27 +555:20-556:27 Type -554:26-554:27 +555:26-555:27 _b -554:29-554:34 +555:29-555:34 Type -> ImageKind -554:29-554:48 +555:29-555:48 ImageKind -554:36-554:39 +555:36-555:39 Nat -> Type -> Type -554:36-554:41 +555:36-555:41 Type -> Type -554:36-554:47 +555:36-555:47 Type -554:40-554:41 +555:40-555:41 _b -554:42-554:47 +555:42-555:47 Type -555:20-555:27 +556:20-556:27 Type | Type -557:6-557:12 +558:6-558:12 Type | Type | Type | Type | Type | Type -557:6-559:17 +558:6-560:17 Type | Type -558:5-558:16 +559:5-559:16 Filter -559:5-559:17 +560:5-560:17 Filter -561:6-561:14 +562:6-562:14 Type | Type | Type | Type | Type | Type | Type -561:6-564:16 +562:6-565:16 Type | Type | Type -562:5-562:11 +563:5-563:11 EdgeMode -563:5-563:19 +564:5-564:19 EdgeMode -564:5-564:16 +565:5-565:16 EdgeMode -566:6-566:13 +567:6-567:13 Type | Type | Type | Type | Type | Type -566:6-566:23 +567:6-567:23 Type -566:6-566:47 +567:6-567:47 Type | Type -566:16-566:23 +567:16-567:23 Filter -> EdgeMode -> Texture -> Sampler | Sampler | Type | Type | Type | Type -566:24-566:30 +567:24-567:30 Type -566:31-566:39 +567:31-567:39 Type -566:40-566:47 +567:40-567:47 Type -569:1-569:10 +570:1-570:10 Sampler -> Vec 2 Float -> Vec 4 Float -569:14-569:21 +570:14-570:21 Type -569:25-569:28 +570:25-570:28 Nat -> Type -> Type -569:25-569:30 +570:25-570:30 Type -> Type -569:25-569:36 +570:25-570:36 Type -569:25-569:51 +570:25-570:51 Type -569:29-569:30 +570:29-570:30 _b -569:31-569:36 +570:31-570:36 Type -569:40-569:43 +570:40-570:43 Nat -> Type -> Type -569:40-569:45 +570:40-570:45 Type -> Type -569:40-569:51 +570:40-570:51 Type | Type -569:44-569:45 +570:44-570:45 _b -569:46-569:51 +570:46-570:51 Type -573:1-573:20 +574:1-574:20 forall a . a -> a -573:25-573:26 +574:25-574:26 _b ------------ warnings Uncovered pattern(s) at testdata/Builtins.lc:201:1: -- cgit v1.2.3