just moving

larrytheliquid · Aug 26, 2010 · 91b3155 · 91b3155
1 parent aac73b8
commit 91b3155
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/src/Parser.agda b/src/Parser.agda
@@ -109,12 +109,6 @@ read (HEADER POST) ('C' ∷ 'o' ∷ 'n' ∷ 't' ∷ 'e' ∷ 'n' ∷ 't' ∷ '-'
 read (HEADER POST) ('C' ∷ 'o' ∷ 'n' ∷ 't' ∷ 'e' ∷ 'n' ∷ 't' ∷ '-' ∷ 'L' ∷ 'e' ∷ 'n' ∷ 'g' ∷ 't' ∷ 'h' ∷ xs) = just (Content-Length , xs)
 read (HEADER POST) ('C' ∷ 'o' ∷ 'n' ∷ 't' ∷ 'e' ∷ 'n' ∷ 't' ∷ '-' ∷ 'T' ∷ 'y' ∷ 'p' ∷ 'e' ∷ xs) = just (Content-Type , xs)
 
-read (RESPONSE-HEADER GET) ('P' ∷ 'r' ∷ 'a' ∷ 'g' ∷ 'm' ∷ 'a' ∷ xs) = just (Pragma , xs)
-
-read (RESPONSE-HEADER HEAD) ('P' ∷ 'r' ∷ 'a' ∷ 'g' ∷ 'm' ∷ 'a' ∷ xs) = just (Pragma , xs)
-
-read (RESPONSE-HEADER POST) ('P' ∷ 'r' ∷ 'a' ∷ 'g' ∷ 'm' ∷ 'a' ∷ xs) = just (Pragma , xs)
-
 read (HEADER GET) _  = nothing
 read (HEADER HEAD) _ = nothing
 read (HEADER POST) _ = nothing
@@ -142,6 +136,12 @@ read (VALUE {POST} Content-Encoding) xs = read-to-CRLF xs
 read (VALUE {POST} Content-Length) xs   = read-Decimal xs
 read (VALUE {POST} Content-Type) xs     = read-to-CRLF xs
 
+read (RESPONSE-HEADER GET) ('P' ∷ 'r' ∷ 'a' ∷ 'g' ∷ 'm' ∷ 'a' ∷ xs) = just (Pragma , xs)
+
+read (RESPONSE-HEADER HEAD) ('P' ∷ 'r' ∷ 'a' ∷ 'g' ∷ 'm' ∷ 'a' ∷ xs) = just (Pragma , xs)
+
+read (RESPONSE-HEADER POST) ('P' ∷ 'r' ∷ 'a' ∷ 'g' ∷ 'm' ∷ 'a' ∷ xs) = just (Pragma , xs)
+
 read (RESPONSE-HEADER GET) _  = nothing
 read (RESPONSE-HEADER HEAD) _ = nothing
 read (RESPONSE-HEADER POST) _ = nothing