Fixed ++reap product type

This commit is contained in:
Anton Dyudin 2014-10-13 17:48:22 -07:00 committed by Anton Dyudin
parent 38feec07ec
commit ccd3c7e07e

View File

@ -702,10 +702,9 @@
:: ::
++ reap :: replicate ++ reap :: replicate
|* [a=@ b=*] |* [a=@ b=*]
=| c=(list) |- ^- (list ,_b)
|- ^- (list) ?~ a ~
?: =(a 0) c [b $(a (dec a))]
$(c [b c], a (dec a))
:: ::
++ reel :: right fold ++ reel :: right fold
~/ %reel ~/ %reel