- | [ `Null; `Int id; `String title; `String description;
- `Timestamp last_modified_date; `Bool has_page_css ] ->
- FPOK (id, title, description, last_modified_date,
- has_page_css)
- | `String redirect :: _ ->
- FPRedirect redirect
- | _ -> assert false)
+ | `String page' :: _ when page <> page' -> (* different case *)
+ FPExternalRedirect page'
+ | [ _; `Null; `Int id; `String title; `String description;
+ `Timestamp last_modified_date; `Bool has_page_css ] ->
+ FPOK (id, title, description, last_modified_date,
+ has_page_css)
+ | _ :: `String redirect :: _ ->
+ FPInternalRedirect redirect
+ | xs -> failwith (Dbi.sdebug xs))