blob: 69d77163ab67c1eb219a17614b17b70be361f867 [file] [log] [blame]
Richard Smith762bb9d2011-10-13 22:29:44 +00001// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
Richard Smith3e4c6c42011-05-05 21:57:07 +00002
3template<template<template<typename> class, typename> class T, template<typename> class V> struct PartialApply {
4 template<typename W> using R = T<V, W>;
5};
6
7template<typename T> using Id = T;
8template<template<typename> class, typename X> using Zero = X;
9template<template<template<typename> class, typename> class N, template<typename> class F, typename X> using Succ = F<N<F,X>>;
10
11template<template<typename> class F, typename X> using One = Succ<Zero, F, X>;
12template<template<typename> class F, typename X> using Two = Succ<One, F, X>;
13
14template<template<template<typename> class, typename> class A,
15 template<template<typename> class, typename> class B,
16 template<typename> class F,
17 typename X> using Add = A<F, B<F, X>>;
18
19template<template<template<typename> class, typename> class A,
20 template<template<typename> class, typename> class B,
21 template<typename> class F,
22 typename X> using Mul = A<PartialApply<B,F>::template R, X>;
23
24template<template<typename> class F, typename X> using Four = Add<Two, Two, F, X>;
25template<template<typename> class F, typename X> using Sixteen = Mul<Four, Four, F, X>;
26template<template<typename> class F, typename X> using TwoHundredAndFiftySix = Mul<Sixteen, Sixteen, F, X>;
27
28template<typename T, T N> struct Const { static const T value = N; };
29template<typename A> struct IncrementHelper;
30template<typename T, T N> struct IncrementHelper<Const<T, N>> { using Result = Const<T, N+1>; };
31template<typename A> using Increment = typename IncrementHelper<A>::Result;
32
33using Arr = int[TwoHundredAndFiftySix<Increment, Const<int, 0>>::value];
34using Arr = int[256];