Mercurial > urweb

comparison src/marshalcheck.sml @ 1347:b106ca8200b1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
postBody type
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 10:56:31 -0500
parents 72670131dace
children 44a12a321150
comparison
equal deleted inserted replaced
1346:faad7d01b200 1347:b106ca8200b1
1 (* Copyright (c) 2009, Adam Chlipala 1 (* Copyright (c) 2009-2010, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
94 NONE => raise Fail "MarshalCheck: Unknown export" 94 NONE => raise Fail "MarshalCheck: Unknown export"
95 | SOME (t, tag) => 95 | SOME (t, tag) =>
96 let 96 let
97 fun makeS (t, _) = 97 fun makeS (t, _) =
98 case t of 98 case t of
99 TFun (dom, ran) => PS.union (sins cmap dom, makeS ran) 99 TFun (dom, ran) =>
100 (case #1 dom of
101 CFfi ("Basis", "postBody") => makeS ran
102 | _ => PS.union (sins cmap dom, makeS ran))
100 | _ => PS.empty 103 | _ => PS.empty
101 val s = makeS t 104 val s = makeS t
102 in 105 in
103 if PS.isEmpty s then 106 if PS.isEmpty s then
104 () 107 ()