Tests should pass now

zenprotocol · Oct 31, 2017 · b55cef5 · b55cef5
1 parent 13c9c1c
commit b55cef5
Show file tree

Hide file tree

Showing 3 changed files with 160 additions and 168 deletions.
diff --git a/ContractExamples/FStarCompatibility.fs b/ContractExamples/FStarCompatibility.fs
@@ -295,12 +295,12 @@ let convertInput : ContractFunctionInput -> inputMsg =
 
 let private convertResult (txSkeleton:result<transactionSkeleton>) : ContractResult =
   match txSkeleton with 
-  | result.E exp -> //TODO
+  | result.EX exp -> //TODO
       ""
       |> System.NotImplementedException
       |> raise
-  | result.Err msg -> Error msg
-  | result.V txSkeleton -> 
+  | result.ERR msg -> Error msg
+  | result.OK txSkeleton -> 
     match txSkeleton with 
     | Tx (_, outpoints, _, outputs, _) -> 
         let convertList f list = List.map f (vectorToList list)