From 38d32824f9632b9f27ffabd54312fe8bca337d40 Mon Sep 17 00:00:00 2001
From: Aleksandar Milicevic <unknown>
Date: Sun, 21 Aug 2011 17:56:11 -0700
Subject: jennisys: got the List.Get example to work.  List.Tail also works. 
 Others should follow soon

---
 Jennisys/DafnyPrinter.fs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Jennisys/DafnyPrinter.fs')

diff --git a/Jennisys/DafnyPrinter.fs b/Jennisys/DafnyPrinter.fs
index 947a72f2..44fd1d50 100644
--- a/Jennisys/DafnyPrinter.fs
+++ b/Jennisys/DafnyPrinter.fs
@@ -69,6 +69,9 @@ let rec PrintExpr ctx expr =
       sprintf "%sforall %s :: %s%s" openParen (vv |> PrintSep ", " PrintVarDecl) (PrintExpr 0 e) closeParen
   | MethodCall(rcv,_,name,aparams) ->
       sprintf "%s.%s(%s)" (PrintExpr 0 rcv) name (aparams |> PrintSep ", " (PrintExpr 0))
+  | MethodOutSelect(mth,name)      ->      
+      // TODO: this can only work if there is only 1 out parameter
+      sprintf "%s" (PrintExpr 0 mth) 
 
 let rec PrintConst cst = 
   match cst with 
-- 
cgit v1.2.3