comparison src/cjr_print.sml @ 765:a28982de5645

Successfully influenced effectful-ness status of FFI func
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 11:27:26 -0400
parents 7f653298dd66
children df09c95085f8
comparison
equal deleted inserted replaced
764:7f653298dd66 765:a28982de5645
1393 string "})"] 1393 string "})"]
1394 | EApp ((EError (e, (TFun (_, ran), _)), loc), _) => 1394 | EApp ((EError (e, (TFun (_, ran), _)), loc), _) =>
1395 p_exp env (EError (e, ran), loc) 1395 p_exp env (EError (e, ran), loc)
1396 | EApp ((EReturnBlob {blob, mimeType, t = (TFun (_, ran), _)}, loc), _) => 1396 | EApp ((EReturnBlob {blob, mimeType, t = (TFun (_, ran), _)}, loc), _) =>
1397 p_exp env (EReturnBlob {blob = blob, mimeType = mimeType, t = ran}, loc) 1397 p_exp env (EReturnBlob {blob = blob, mimeType = mimeType, t = ran}, loc)
1398
1399 | EFfiApp (m, x, []) => box [string "uw_",
1400 p_ident m,
1401 string "_",
1402 p_ident x,
1403 string "(ctx)"]
1398 1404
1399 | EFfiApp (m, x, es) => box [string "uw_", 1405 | EFfiApp (m, x, es) => box [string "uw_",
1400 p_ident m, 1406 p_ident m,
1401 string "_", 1407 string "_",
1402 p_ident x, 1408 p_ident x,