Re: how to terminate an external program after timeout?

2010-09-10 Thread Christian Maeder
Brandon S Allbery KF8NH schrieb: On 9/9/10 05:35 , Christian Maeder wrote: System.Process.readProcessWithExitCode metis filename If all else fails, there's: sh -c '(sleep 120; kill -TERM $$ /dev/null 21) exec metis' Yes, I've considered something like this, too. It does not give metis

Collecting all external names in a module

2010-09-10 Thread Johan Tibell
Hi, I have a question regarding the GHC API. Given a module, I'm trying to collect * the Name and SrcSpan of all top-level definitions, * the Name and SrcSpan of all (local) uses of these top-level definition * the Name and SrcSpan of all uses of imported definitions. For example, given the

Re: how to terminate an external program after timeout?

2010-09-10 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 9/10/10 04:59 , Christian Maeder wrote: Brandon S Allbery KF8NH schrieb: On 9/9/10 05:35 , Christian Maeder wrote: System.Process.readProcessWithExitCode metis filename If all else fails, there's: sh -c '(sleep 120; kill -TERM $$ /dev/null

unicode characters in operator name

2010-09-10 Thread Greg
Hi--I'm creating a family of methods for a class, and to prevent name clashes I've annotated the function names with º. The files are saved UTF-8, so the character is accepted.Method names of the form fº are handled fine. GHC consumes them quite happily. Where I'm having trouble is in operator

Re: unicode characters in operator name

2010-09-10 Thread Daniel Fischer
On Saturday 11 September 2010 03:12:11, Greg wrote: If I read the Haskell Report correctly, operators are named by (symbol {symbol | : }), where symbol is either an ascii symbol (including *) or a unicode symbol (defined as any Unicode symbol or punctuation).  I'm pretty sure º is a unicode

Re: unicode characters in operator name

2010-09-10 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 9/10/10 21:39 , Daniel Fischer wrote: On Saturday 11 September 2010 03:12:11, Greg wrote: a unicode symbol (defined as any Unicode symbol or punctuation). I'm pretty sure º is a unicode symbol or punctuation. Prelude Data.Char

Re: unicode characters in operator name

2010-09-10 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 9/10/10 21:12 , Greg wrote: unicode symbol (defined as any Unicode symbol or punctuation). I'm pretty sure º is a unicode symbol or punctuation. No, it's a raised lowercase o used by convention to indicate gender of abbreviated ordinals. You

Re: unicode characters in operator name

2010-09-10 Thread Greg
Oh cripe... Yet another reason not to use funny symbols-- even the developer can't tell them apart!Yeah, I wanted a degree sign, but if it's all that subtle then I should probably reconsider the whole idea.On the positive side, I know what ª is for now so today wasn't a complete waste.