Commit a8180a01450a5683e5ffa4ea4afc55febf09785b - Robin

Add failing test for visibility of bindings in `choose`. Chris Pressey 4 years ago

1 changed file(s) with 8 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all

-0

stdlib/choose.robin less more

36	36	\| (choose (#f 66) (else))
37	37	? abort
38	38
	39	Bindings can be seen inside each of the branches, and inside the `else`.
	40
	41	\| (bind n (literal hi) (choose (#t n) (else (literal lo))))
	42	= hi
	43
	44	\| (bind n (literal hi) (choose (#f (literal lo)) (else n)))
	45	= hi
	46
39	47	`choose` is basically equivalent to Scheme's `cond`.
40	48
41	49	'<<SPEC'