chu2 2012.11.17.1 → 2012.11.17.2

raw patch · 3 files changed

+26/−11 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Guardfile +0/−10
• chu2.cabal +2/−1
• src/Chu2/Handler/SnapServer.agda +24/−0

@@ -2,16 +2,6 @@ # More info at https://github.com/guard/guard#readme  guard :shell, :all_on_start => true do-  -  # watch /.*\.l?agda$/ do |m|-  #   puts "\n\n\nCompiling..."-  #   `agda -i ~/scm/lib/git/agda/standard-library/src -i . -c #{m[0]} && echo "Compiled!"`-  # end-  -  # watch "hello.agda" do-  #   puts "\n\n\nCompiling..."-  #   `agda -i ~/scm/lib/git/agda/standard-library/src -i . -c hello.agda && echo "Compiled!" && ./hello`-  # end    watch /.*\.l?hs$/ do |m|     if m[0].scan("MAlonzo").empty?

@@ -1,5 +1,5 @@ Name:                 chu2-Version:              2012.11.17.1+Version:              2012.11.17.2 Build-type:           Simple Synopsis:             FFI for Chu2 Agda Web Server Interface Description:@@ -20,6 +20,7 @@                       src/Chu2.agda                       src/Hello.agda                       src/Chu2/ByteString.agda+                      src/Chu2/Handler/SnapServer.agda                         library

@@ -0,0 +1,24 @@+module Chu2.Handler.SnapServer where++open import Chu2 using (Handler)++private +  postulate+    Integer : Set+    onPort_run' : Integer → Handler++{-# BUILTIN       INTEGER Integer #-}+{-# COMPILED_TYPE Integer Integer #-}++{-# IMPORT Chu2.Handler.SnapServerFFI #-}+{-# COMPILED onPort_run' Chu2.Handler.SnapServerFFI.onPort_run #-}++open import Data.Nat using (ℕ)++primitive+  primNatToInteger : ℕ -> Integer++onPort_run : ℕ → Handler+onPort_run port = onPort_run' (primNatToInteger port)++