diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-11-10 21:49:05 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-11-10 21:53:35 -0800 |
commit | 162f21b818a3ac8124741ddb91c48df140aea55a (patch) | |
tree | f7fd929cc686b64a7a9c2e9a152d700a4c5ed49a /058shape_shifting_container.cc | |
parent | 76755b2836b0dadd88f82635f661f9d9df77604d (diff) | |
download | mu-162f21b818a3ac8124741ddb91c48df140aea55a.tar.gz |
2424
Diffstat (limited to '058shape_shifting_container.cc')
-rw-r--r-- | 058shape_shifting_container.cc | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/058shape_shifting_container.cc b/058shape_shifting_container.cc index 1a58b1b6..1f0acab9 100644 --- a/058shape_shifting_container.cc +++ b/058shape_shifting_container.cc @@ -1,14 +1,9 @@ //:: Container definitions can contain type parameters. //: -//: Extremely hacky initial implementation: -//: -//: a) We still don't support the full complexity of type trees inside -//: container definitions. So for example you can't have a container element -//: with this type: +//: Extremely hacky initial implementation. We still don't support the full +//: complexity of type trees inside container definitions. So for example you +//: can't have a container element with this type: //: (map (array address character) (list number)) -//: -//: b) We also can't include type parameters anywhere except at the top of the -//: type of a container element. :(scenario size_of_shape_shifting_container) container foo:_t [ |