Commit f5eed5fe18245c9e4f6444a6810c890afa870f07 - Castile - git @ Cat's Eye Technologies

git @ Cat's Eye Technologies Castile / f5eed5f

Reword paragraph slightly for clarity. Chris Pressey 3 years ago

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

+4

-3

README.md less more

49	49	make list(value:v, next:l) as list\|void
50	50	}
51	51
52		In this, `list\|void` is a union type, which is the moral equivalent of
53		saying that the value is "nullable". In order to access any of the
54		concrete types of the union, one must use `typecase`:
	52	In this, `list\|void` is a union type. In this case it is expressing
	53	the fact that the value can be either a `list` or `void` — the moral
	54	equivalent of "nullable". In order to access any of the concrete types
	55	of a union type, one must use `typecase`:
55	56
56	57	fun max(l: list\|void) {
57	58	u = l;