Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/marshalcheck.sml	Thu Dec 16 18:40:49 2010 -0500
+++ b/src/marshalcheck.sml	Sat Dec 18 10:56:31 2010 -0500
@@ -1,4 +1,4 @@
-(* Copyright (c) 2009, Adam Chlipala
+(* Copyright (c) 2009-2010, Adam Chlipala
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -96,7 +96,10 @@
                                    let
                                        fun makeS (t, _) =
                                            case t of
-                                               TFun (dom, ran) => PS.union (sins cmap dom, makeS ran)
+                                               TFun (dom, ran) =>
+                                               (case #1 dom of
+                                                    CFfi ("Basis", "postBody") => makeS ran
+                                                  | _ => PS.union (sins cmap dom, makeS ran))
                                              | _ => PS.empty
                                        val s = makeS t
                                    in