match extension hygienized wrt global function type()
commit8bd6476a008d267b5400403275355c6aea620569
authorFabien Fleutot <fabien@macfabien.local>
Sun, 3 Feb 2008 12:17:46 +0000 (3 13:17 +0100)
committerFabien Fleutot <fabien@macfabien.local>
Sun, 3 Feb 2008 12:17:46 +0000 (3 13:17 +0100)
treebd9fa33f489827480214c69b271feadd6bd699cc
parent2b4520eb1242fb73bd355bf71ef06b6278e394d2
match extension hygienized wrt global function type()
src/lib/extension/match.mlua