Commit 42cf57ea1b82a4efef5b2031e55cfce716e9c100 - Tamsin

Implement proper-quotes in Tamsin-in-Tamsin compiler. Chris Pressey 10 years ago

2 changed file(s) with 22 addition(s) and 2 deletion(s). Raw diff Collapse all Expand all

+12

-0

eg/expector.tamsin less more

	0	main = set T = 'foobar' &
	1	print T &
	2	expect_chars(T).
	3
	4	# Given a single-character string, return call(prodref('$', 'expect'), S)
	5	# Given a string, return and(call(prodref('$', 'expect'), head(S)),
	6	# expect_chars(tail(S))).
	7
	8	expect_chars(S) = print S & expect_chars_r @ S.
	9	expect_chars_r = any → C &
	10	set E = call(prodref('$', 'expect'), list(atom(C), nil)) &
	11	((eof & return E) \| (expect_chars_r → R & return and(E, R))).

+10

-2

lib/tamsin_parser.tamsin less more

70	70	return call(prodref('$', return), list(atom(T), nil))
71	71	\| pq_string → T &
72	72	$:unquote(T, '“', '”') → T &
73		########## XXX this is not correct yet
74		return call(prodref('$', return), list(atom(T), nil))
	73	expect_chars(T) → E & return E
75	74	\| prodref → P &
76	75	L ← nil &
77	76	["(" &

150	149	Acc ← constructor(list, list(Fst, list(Acc, nil))) &
151	150	reverse_c(Snd, Acc).
152	151	reverse_c(Other, Acc) = Acc.
	152
	153	# Given a single-character string, return call(prodref('$', 'expect'), S)
	154	# Given a string, return and(call(prodref('$', 'expect'), head(S)),
	155	# expect_chars(tail(S))).
	156
	157	expect_chars(S) = (expect_chars_r using $:utf8) @ S.
	158	expect_chars_r = any → C &
	159	E ← call(prodref('$', 'expect'), list(atom(C), nil)) &
	160	((eof & return E) \| (expect_chars_r → R & return and(E, R))).
153	161	}