{-# OPTIONS -fglasgow-exts #-}
{-# OPTIONS -fallow-overlapping-instances #-}

-- http://feedvalidator.org/check.cgi?url=http://www.okmij.org/ftp/rss.xml
-- http://feedvalidator.org/check.cgi?url=http://okmij.org/ftp/rss.xml

module Main () where

import RSS
import System.Environment (getArgs)

content = 
  CLHead 
    HeadAttrs {
      ha_title = "What's new",
      ha_description = "list of updates to this whole site",
      ha_DateRevision = (1,November,2008),
      ha_top = FileURL "README.html",
      ha_history_first = CLURL "ChangeLog-12.html"
                             (August,2007) (July,2008),
      ha_history_last  = CLURL "ChangeLog-0.html"
	                     (December,1995) (August,1996)
	      }
  (updates
    [update (1, November, 2008)
     [ui (FileURLA "Prolog/Prolog.html" "lambda-calc")
      [[a "Lambda-calculator and alpha-conversion in pure Prolog"]]]
     [ui (FileURLA "Prolog/Prolog.html" "pure-leanTAP")
      [[a "leanTAP theorem prover in pure Prolog"]]]
     [ui (FileURLA "Prolog/Prolog.html" "impure")
      [[a "Beyond pure Prolog: power and danger"]]]
    ] 

    [update (5, October, 2008)
     [ui (FileURLA "Computation/Existentials.html" "eliminating-translucent")
      [[a "Eliminating translucent existentials"]]
      "and the precise type of all scramblings of a string"]
     [ui (FileURLA "Haskell/regions.html" "light-weight")
      [[a "Lightweight monadic regions"]]]
     [ui (FileURL "Streams.html")
      [[a "Streams and Iteratees:"]]
      "Incremental multi-level input processing and collection enumeration"]]

    [update (1, September, 2008)
     [ui (FileURLA "Computation/Continuations.html" "cbn-shift")
      [[a "Call-by-name typed shift/reset calculus"]]]
     [ui (FileURLA "Computation/Generative.html" "nl-cbe")
      [[a "Compilation by evaluation as syntax-semantics interface"]]
      "in natural languages"]
     [ui (FileURLA "Computation/Generative.html" "meta-scheme")
      "New version of" [[a "MetaScheme, or untyped MetaOCaml"]] br
      "Added tests showing why static renaming of bound identifiers"
      "is insufficient; implemented dynamic renaming as suggested by"
      "Chung-chieh Shan. Added support for a simple let form."]
     ]

    [update (1, August, 2008)
     [ui (FileURLA "Computation/Computation.html" "teval")
      [[a "Interpreting types as abstract values"]]
      "FLOLAC08 lecture notes and the source code for"
      "evaluators/type reconstructors"]
     [ui (FileURLA "Haskell/types.html" "poly2")
      [[a "Type-class overloaded functions:"]]
      "second-order type-class programming with backtracking"]
     [ui (FileURLA "Computation/Continuations.html" "shift-cgi")
      "An introductory section on delimited continuations added to the talk"
      [[a "Persistent delimited continuations for CGI programming"
	"with nested transactions"]]]
     [ui (FileURLA "Computation/Continuations.html" "caml-shift")
      "New version of"
      [[a "Native delimited continuations in (byte-code) OCaml"]] br
      "Added a new primitive," [[code "push_prompt_subcont"]] nosp
      ", to push a captured continuation along with the control delimiter."
      "The primitive is used to implement shift and shift0 without"
      "leaking memory. The new version includes many optimizations,"
      "which reduce the size of captured continuations."]
     ]
   )


main = do
       [arg] <- getArgs
       case arg of
	  "HTML" -> runHTMLRender . toHTML $ content
	  "XML"  -> runXMLRender (runRSSRender (toRSS content) 
				    (URL "http://okmij.org/ftp/"))