From c71de1db0cf31466bfc5fe7e96021e5d3cba6979 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 18 Dec 2010 10:56:31 -0500
Subject: postBody type

---
 src/marshalcheck.sml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'src/marshalcheck.sml')

diff --git a/src/marshalcheck.sml b/src/marshalcheck.sml
index de6879ae..c7a274de 100644
--- a/src/marshalcheck.sml
+++ b/src/marshalcheck.sml
@@ -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 @@ fun check file =
                                    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
-- 
cgit v1.2.3