comparison src/demo.sml @ 768:3b7e46790fa7

Path rewriting
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 13:23:07 -0400
parents df09c95085f8
children efceae06df17
comparison
equal deleted inserted replaced
767:d27ed5ddeb52 768:3b7e46790fa7
101 scripts = [], 101 scripts = [],
102 clientToServer = [], 102 clientToServer = [],
103 effectful = [], 103 effectful = [],
104 clientOnly = [], 104 clientOnly = [],
105 serverOnly = [], 105 serverOnly = [],
106 jsFuncs = [] 106 jsFuncs = [],
107 rewrites = []
107 } 108 }
108 109
109 val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp") 110 val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")
110 111
111 fun capitalize "" = "" 112 fun capitalize "" = ""