Mercurial > urweb
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, |