comparison src/shake.sml @ 2048:4d64af730e35

Differentiate between HTML and normal string literals
author Adam Chlipala <adam@chlipala.net>
date Fri, 01 Aug 2014 15:44:17 -0400
parents e15234fbb163
children
comparison
equal deleted inserted replaced
2047:6be31671911b 2048:4d64af730e35
42 con : IS.set, 42 con : IS.set,
43 exp : IS.set 43 exp : IS.set
44 } 44 }
45 45
46 val dummyt = (TRecord (CRecord ((KType, ErrorMsg.dummySpan), []), ErrorMsg.dummySpan), ErrorMsg.dummySpan) 46 val dummyt = (TRecord (CRecord ((KType, ErrorMsg.dummySpan), []), ErrorMsg.dummySpan), ErrorMsg.dummySpan)
47 val dummye = (EPrim (Prim.String ""), ErrorMsg.dummySpan) 47 val dummye = (EPrim (Prim.String (Prim.Normal, "")), ErrorMsg.dummySpan)
48 48
49 fun tupleC cs = (CTuple cs, ErrorMsg.dummySpan) 49 fun tupleC cs = (CTuple cs, ErrorMsg.dummySpan)
50 fun tupleE es = (ERecord (map (fn e => (dummyt, e, dummyt)) es), ErrorMsg.dummySpan) 50 fun tupleE es = (ERecord (map (fn e => (dummyt, e, dummyt)) es), ErrorMsg.dummySpan)
51 51
52 fun shake file = 52 fun shake file =