Mercurial > urweb
comparison src/marshalcheck.sml @ 1347:b106ca8200b1
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 () |