From 20a5fbfa1207f2aaf79fc3547e424231aedf27c8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 28 Dec 2011 18:05:27 -0500 Subject: Get a few more source files up-to-date with change to [tag] type --- src/css.sml | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) (limited to 'src/css.sml') diff --git a/src/css.sml b/src/css.sml index 73f180d9..90c0b5dd 100644 --- a/src/css.sml +++ b/src/css.sml @@ -144,7 +144,7 @@ fun summarize file = (EApp ( (EApp ( (EApp ( - (ECApp ( + (EApp ( (ECApp ( (ECApp ( (ECApp ( @@ -152,9 +152,11 @@ fun summarize file = (ECApp ( (ECApp ( (ECApp ( - (EFfi ("Basis", "tag"), - _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), - (ECon (_, _, _, SOME (ENamed class, _)), _)), _), + (ECApp ( + (EFfi ("Basis", "tag"), + _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), + (ECon (_, _, _, SOME (ENamed class, _)), _)), _), + _), _), attrs), _), tag), _), xml) => @@ -182,7 +184,7 @@ fun summarize file = (EApp ( (EApp ( (EApp ( - (ECApp ( + (EApp ( (ECApp ( (ECApp ( (ECApp ( @@ -190,8 +192,10 @@ fun summarize file = (ECApp ( (ECApp ( (ECApp ( - (EFfi ("Basis", "tag"), - _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), + (ECApp ( + (EFfi ("Basis", "tag"), + _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), + _), _), _), _), attrs), _), tag), _), -- cgit v1.2.3