diff options
| author | Adrian Kummerlaender | 2015-02-06 19:26:26 +0100 |
|---|---|---|
| committer | Adrian Kummerlaender | 2015-02-06 19:26:26 +0100 |
| commit | 27aaee43499c268903332c7e9e1e6ec2d193dc3a (patch) | |
| tree | fcd6a361aa5ce6a9c095f496886807f87af85ea0 /example/prime | |
| parent | 1e0528b1a870e0e0f2b15f468fc60f80e5fc20b3 (diff) | |
| download | TypeAsValue-27aaee43499c268903332c7e9e1e6ec2d193dc3a.tar TypeAsValue-27aaee43499c268903332c7e9e1e6ec2d193dc3a.tar.gz TypeAsValue-27aaee43499c268903332c7e9e1e6ec2d193dc3a.tar.bz2 TypeAsValue-27aaee43499c268903332c7e9e1e6ec2d193dc3a.tar.lz TypeAsValue-27aaee43499c268903332c7e9e1e6ec2d193dc3a.tar.xz TypeAsValue-27aaee43499c268903332c7e9e1e6ec2d193dc3a.tar.zst TypeAsValue-27aaee43499c268903332c7e9e1e6ec2d193dc3a.zip | |
Revamped to use `Cons` as a function and `Pair` as its result
* this is analogous to _Scheme_ where a pair (dot-expression) is returned from a call to `cons`
* `Head` and `Tail` are kept as direct references to the `CAR` and `CDR` values of a pair to match e.g. the math operators
Diffstat (limited to 'example/prime')
| -rw-r--r-- | example/prime/prime.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/example/prime/prime.cc b/example/prime/prime.cc index 93b7db5..17d437c 100644 --- a/example/prime/prime.cc +++ b/example/prime/prime.cc @@ -31,7 +31,7 @@ using removeMultiplesOf = tav::Remove< template <typename Candidates> struct Sieve { - typedef tav::Cons< + typedef typename tav::Cons< tav::Head<Candidates>, typename Sieve< typename removeMultiplesOf< @@ -39,7 +39,7 @@ struct Sieve { tav::Head<Candidates> >::type >::type - > type; + >::type type; }; template <> |