Re: Database interface - would like advice on oracle library bind ing

24 Sep 2003

      ...
...
Here's another: ...
    Make getInt (and friends) behave differently depending on the mode
    of the cursor they're passed: either allocate a buffer and return
    _|_, decode and return the current column of the current row, or
    free a buffer and return _|_.
Not wanting to sound too dumb, but how do you return _|_ ?
Return

  undefined

or better,

  error "Erroneously demanded bottom result of buffer allocation phase"

Note that

  undefined :: a
  undefined = undefined

  error :: String -> a
  {- defined internally -}

HTH.

--KW 8-)

-- 
Keith Wansbrough <kw217@cl.cam.ac.uk>
http://www.cl.cam.ac.uk/users/kw217/
University of Cambridge Computer Laboratory.