Add treematch syntax for list and option

« treematch project page

The current ptree backend has special support for list and option nonterminals. In treematch, they are represented as local Head/Tail and local None/Some. It will be better for interoperability with existing (library) code if these kinds are represented as existing language constructs (read: parametrised types 'a list and 'a option).

Details

Id:	26e7dd03e20d7d69e1c714e418419e9998faae75
Type:	feature
Creation time:	2012-10-21 07:44 GMT
Creator:	Pippijn van Steenhoven <pippijn@...>
Release:	unassigned
Component:	treematch
Status:	unstarted

Issue log

2012-10-21 12:23 GMT	Wojciech Meyer <wojciech.meyer@...>	commented
Now the ast part works. Type/AST inferences needs fixing (typing.ml), so not closing this down

2012-10-21 07:44 GMT	Pippijn van Steenhoven <pippijn@...>	created