Re: [Haskell-cafe] Path names (again?)

2004-02-05 Thread Glynn Clements
Vincenzo aka Nick Name wrote: > > I was going to ask what you meant here but, AFAICT, Haskell (at > > least, GHC 5.04) doesn't appear to recognise the existence of > > symlinks. So, whatever you meant, the answer is probably "no". > > I currently use module System.Posix from ghc6, there are stat

Re: [Haskell-cafe] Path names (again?)

2004-02-05 Thread Carl Witty
On Thu, 2004-02-05 at 13:44, Vincenzo aka Nick Name wrote: > Yes, I forgot to say "recursively". I have an ocaml implementation but > it's prone to errors because of missing "canonicalization", so I did > not want to translate that in haskell for the same problem. Currently I > workarounded this

Re: [Haskell-cafe] Path names (again?)

2004-02-05 Thread Vincenzo aka Nick Name
Alle 19:13, giovedì 5 febbraio 2004, Glynn Clements ha scritto: > > - concatenate file paths > > (concat . intersperse "/") > > Maybe you wanted something more, e.g. canonicalisation? > Yes, maybe an interface to realpath(3) is what I really need. > > - tell if a path is absolute or relat

Re: [Haskell-cafe] Path names (again?)

2004-02-05 Thread Glynn Clements
Vincenzo aka Nick Name wrote: > I am so often in need for this (I suppose, non-existing) module, that I > am going crazy :) I have found discussions in the archives for haskell > mailing lists, but is there any, even posix-only, even unix-only, but > better portable, implementation of function

Re: [Haskell-cafe] Sat solver

2004-02-05 Thread Josef Svenningsson
Hi, On Thu, 5 Feb 2004, Ron de Bruijn wrote: > Hi there, > > I need a complete 3-CNF-Sat solver that can solve > sentences of about length 20 (or shorter). > > Now I use simple model checking, but that's a bit slow > , you understand :) > > I have seen some algorithms on the web and some > code-s

[Haskell-cafe] Sat solver

2004-02-05 Thread Ron de Bruijn
Hi there, I need a complete 3-CNF-Sat solver that can solve sentences of about length 20 (or shorter). Now I use simple model checking, but that's a bit slow , you understand :) I have seen some algorithms on the web and some code-sniplets in papers. But I presume there is some implementation a

[Haskell-cafe] Path names (again?)

2004-02-05 Thread Vincenzo aka Nick Name
Hi all, I am so often in need for this (I suppose, non-existing) module, that I am going crazy :) I have found discussions in the archives for haskell mailing lists, but is there any, even posix-only, even unix-only, but better portable, implementation of functions to - concatenate file path