Commit 3b2af331294fe3d1dc57fa41b20b77ebf14d128f - Tandem

Appearance of strings s and t in individual rule is optional. Chris Pressey 4 years ago

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

-1

eg/expr.tandem less more

0		Q 0 -> 1 & ("R" "M" -> "N" & Z ""... -> "M" \| L"M"…→"N"… \| P1→2 \| Ya…->b*) \| Q"->"->"..."
	0	Q 0 -> 1 & ("R" "M" -> "N" & Z ""... -> "M" \| L"M"…→"N"… \| P1→ \| (Z→1 \| X→)* \| Ya…->b*) \| Q"->"->"..."

-3

src/Language/Tandem/Parser.hs less more

4	4
5	5	import Language.Tandem.Rule
6	6
7		-- TODO: optional strings
8	7	-- TODO: pragmas
9	8	-- TODO: % reverse syntax
10	9

43	42
44	43	individual = do
45	44	l <- (quotedString <\|> bareLabel)
46		s <- (quotedString <\|> bareWord)
	45	s <- option "" (quotedString <\|> bareWord)
47	46	so <- option False ellipsis
48	47	arrow
49		t <- (quotedString <\|> bareWord)
	48	t <- option "" (quotedString <\|> bareWord)
50	49	to <- option False ellipsis
51	50	return $ case (so, to) of
52	51	(False, False) -> RewExact l s t