comparison src/cjr_print.sml @ 645:1b571a05874c

React demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 11:18:01 -0400
parents aa2290c32ce2
children a93d5324f400
comparison
equal deleted inserted replaced
644:8e17e6b615bd 645:1b571a05874c
2347 newline, 2347 newline,
2348 string "uw_write(ctx, \"<html>\");", 2348 string "uw_write(ctx, \"<html>\");",
2349 newline, 2349 newline,
2350 string "uw_set_script_header(ctx, \"", 2350 string "uw_set_script_header(ctx, \"",
2351 string (case side of 2351 string (case side of
2352 ServerAndClient => "<script src=\\\"/app.js\\\"></script>\\n" 2352 ServerAndClient => "<script src=\\\""
2353 ^ OS.Path.joinDirFile {dir = !Monoize.urlPrefix,
2354 file = "app.js"}
2355 ^ "\\\"></script>\\n"
2353 | ServerOnly => ""), 2356 | ServerOnly => ""),
2354 string "\");", 2357 string "\");",
2355 newline]), 2358 newline]),
2356 box [string "{", 2359 box [string "{",
2357 newline, 2360 newline,