Re: [Haskell-cafe] generate Haskell code from model

2007-04-14 Thread Brian Smith
On 4/14/07, Steffen Mazanek [EMAIL PROTECTED] wrote: Brian, but don't you think that you have to write a lot of boilerplate code in Haskell? I have never felt I was writing a lot of boilerplate. There are a lot of abstraction mechanisms in Haskell to avoid boilerplate. Second, if Haskell

Re: [Haskell-cafe] generate Haskell code from model

2007-04-13 Thread Brian Smith
On 4/13/07, Steffen Mazanek [EMAIL PROTECTED] wrote: Hello everybody, I would like to start a discussion on how to generate best-practice Haskell code from a model, e.g. from EMF. I started learning Haskell precisely to solve problems like this. But, once I got into it, I realized that

Re: do-and-if-then-else modification

2007-02-19 Thread Brian Smith
On 2/19/07, Ross Paterson [EMAIL PROTECTED] wrote: On Mon, Feb 19, 2007 at 11:16:03AM +, Malcolm Wallace wrote: isaac jones [EMAIL PROTECTED] wrote: Iavor and I just made the trivial modification for DoAndIfThenElse Any comments on this modification? How do people feel about the

Re: [Haskell-cafe] Haskell vs Ruby as a scripting language

2007-02-10 Thread Brian Smith
On 2/10/07, Joel Reymont [EMAIL PROTECTED] wrote: Is anyone using Haskell as a scripting language in their app? I'm thinking of viable it would be to embed ghc in a Mac (Cocoa) app. Is your application primarily written in Haskell? If not, you would have to create an interface between that

[Haskell-cafe] Embedding ghc

2007-02-10 Thread Brian Smith
If you have to ask, you can't afford it. :) The GHC API is not modular--if you use it, then the entirety of GHC is included into your program. That means that your executable will increase by the size of ghc.exe. Furthermore, you will also need to ship several of the supporting executables,

Re: FW: GHC API: Problems with implementing :reload for ghc --make

2006-11-24 Thread Brian Smith
On 11/24/06, Ian Lynagh [EMAIL PROTECTED] wrote: My goal is to write a program GhcRemake that works like ghc --make. However, instead of terminating after compilation is done, I want the program to stay open and wait for me to hit ENTER. snip building the GHC API with it. Unfortunately,

Re: Re[2]: Proposal for stand-alone deriving declarations?

2006-11-03 Thread Brian Smith
On 11/2/06, Bulat Ziganshin [EMAIL PROTECTED] wrote: Hello Malcolm,Thursday, November 2, 2006, 12:46:43 AM, you wrote: instance Num (Bar z) where and instance Num (Bar z) The former declares that _no_ methods are defined (except for defaults), and the latter, with your proposal, that _all_

Re: Proposal for stand-alone deriving declarations?

2006-11-01 Thread Brian Smith
no longer support it.- Brian Smith ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime

Re: Proposal for stand-alone deriving declarations?

2006-11-01 Thread Brian Smith
On 11/1/06, Ross Paterson [EMAIL PROTECTED] wrote: On Wed, Nov 01, 2006 at 12:30:31PM -0600, Brian Smith wrote:In response to your point about duplicate derived instances, yes, itwould make derived instances different from explicit ones, but as I'veargued before, I think it's unavoidable: http

Re: Proposal for stand-alone deriving declarations?

2006-11-01 Thread Brian Smith
On 11/1/06, Malcolm Wallace [EMAIL PROTECTED] wrote: Brian Smith [EMAIL PROTECTED] writes: http://haskell.org/haskellwiki/GHC/StandAloneDeriving Basically, the syntax for instances and derived instances would be identical, but derived instances would just omit the where clause, while non-derived

[Haskell-cafe] Re: Configurations proposal

2006-10-24 Thread Brian Smith
On 10/24/06, Duncan Coutts [EMAIL PROTECTED] wrote: On the other hand, in Gtk2Hs I know one case where we do this. We have aGraphics.UI.Gtk.Cairo api module that is only included if Gtk was builtagainst Cairo. In any case it could be faked by using cpp to just not export anything rather than not

Re: Module imports anywhere

2006-10-23 Thread Brian Smith
On 10/22/06, Bulat Ziganshin [EMAIL PROTECTED] wrote: Hello Henning,Sunday, October 22, 2006, 5:48:11 PM, you wrote: I don't see the benefit of allowing imports anywhere at top-level.it is useful to move together imports and related code. say: #if HUGSimport Hugs.BaseaddInt = hugsAddInt#elseif

Re: [Haskell-cafe] Re: Read a single char

2006-10-23 Thread Brian Smith
On 10/23/06, Neil Mitchell [EMAIL PROTECTED] wrote: HigetChar doesn't return until I press Enter. I need something that returns immediately after I press any key.It's a problem with buffering:hSetBuffering stdin NoBuffering This usually doesn't work on Windows:GHC 6.4.2 and 6.6: requires enterHugs

Re: [Haskell-cafe] Re: A better syntax for qualified operators?

2006-10-19 Thread Brian Smith
On Wed, Oct 18, 2006 at 04:42:00PM +0100, Simon Marlow wrote: So you won't be able to colour patterns differently from expressions, that doesn't seem any worse than the context vs. type issue.Indeed, I'm not even sure you can colour types vs. values properly, look at this: data T = C [Int] at

Re: ANNOUNCE: GHC 6.6 Second Release Candidate

2006-10-08 Thread Brian Smith
On 10/5/06, Simon Marlow [EMAIL PROTECTED] wrote: Win32-2.0 was never officially announced or tagged, as far as I'm aware.Isthat right?So can't the Win32 package included with GHC 6.6 be called version 2.0?We have branched all the packages for GHC 6.6.This does I suppose constitute a release of

Re: ANNOUNCE: GHC 6.6 Second Release Candidate

2006-10-08 Thread Brian Smith
On 10/8/06, Ross Paterson [EMAIL PROTECTED] wrote: On Sun, Oct 08, 2006 at 02:48:03PM -0500, Brian Smith wrote: Finally, something was mentioned about the Cabal version number only being accurate for when somebody uses Cabal sdist --snapshot mechanism. However, this isn't documented

Re: ANNOUNCE: GHC 6.6 Second Release Candidate

2006-10-08 Thread Brian Smith
On 10/8/06, Ross Paterson [EMAIL PROTECTED] wrote: On Sun, Oct 08, 2006 at 05:30:25PM -0500, Brian Smith wrote: I see that it is documented in later versions. But, I don't see how that mechanism would help in this situation.You still have to bump the version number immediately before you release

Re: ANNOUNCE: GHC 6.6 Second Release Candidate

2006-10-08 Thread Brian Smith
On 10/2/06, Ian Lynagh [EMAIL PROTECTED] wrote: We are pleased to announce the Second Release Candidate phase for GHC 6.6.I am using release candidate 2. I noticed some problems with Cabal, so I uninstalled 1.1.4 and installed the latest version from the Darcs repository. Now, programs that use

GHC API: Problems with implementing :reload for ghc --make

2006-10-08 Thread Brian Smith
-inativeGen -icmm -istgSynBTW, I am planning to extend this program in many ways in the future, including a :make command for GHCi, an --interactive --make mode for GHC itself. Eventually, I would like to implement a quick error checking with automatic background compilation mode as well. Thanks,Brian Smith

Re: Proposal for stand-alone deriving declarations?

2006-10-08 Thread Brian Smith
On 10/8/06, Bjorn Bringert [EMAIL PROTECTED] wrote: I agree that derive would be nicer, but as you say, the problem isthat it would add a new keyword. Since the declaration would thenstart with derive, I don't that think it could easily be made into a special identifier. A deriving declaration

Re: building GHC (head) on windows MINGW: HsRegexPosixConfig.h: No such file or directory

2006-10-05 Thread Brian Smith
On 9/30/06, Rene de Visser [EMAIL PROTECTED] wrote: What do I need to install for the regex library support on MINGW?It looks like the regex library needs the posix library, and in my MINGW /MSYS installation I don't find one(and neither does configure). I have not run into this problem with the

Re: ANNOUNCE: GHC 6.6 Second Release Candidate

2006-10-04 Thread Brian Smith
The GHC 6.6 release candidate ships with Win32-2.0. But, this is actually Win32 2.0 plus some modifications (see recent patches). Shouldn't the version number be inrcremented to be over 2.0? I think that this applies to the other libraries as well. Also, the GHC-6.6 darcs-all script does not pull

Re: Summary of GHC 6.6 test suite failures on MSYS/MinGW

2006-09-27 Thread Brian Smith
On 9/26/06, Simon Marlow [EMAIL PROTECTED] wrote: Brian Smith wrote: Now, when I tried to rerun the tests against the latest ghc-6.6, ghc.exe is segfaulting on ffi012(ghci), conc049(ghci), and conc023(ghci): Unhandled exception at 0x0207fc58 in ghc.exe: 0xC005: Access violation.That's a bit

Re: Summary of GHC 6.6 test suite failures on MSYS/MinGW

2006-09-26 Thread Brian Smith
On 9/26/06, Simon Marlow [EMAIL PROTECTED] wrote: Brian Smith wrote: The test always failed. When I decreased the number of threads in the test from 5,000 to 1,400 or so, then the tests passed sometimes, and sometimes failed. Decreasing the number of threads to under a thousand made the test pass

Re: [Haskell-cafe] Writing forum software in Haskell

2006-09-25 Thread Brian Smith
On 9/24/06, David House [EMAIL PROTECTED] wrote: Hi all.The recent thread on email vs. forums inspired a bit of interest toget some forum software on haskell.org. Were we to go ahead with this,I think it'd be great to have this software written in Haskell itself. If you were to write all-new

Summary of GHC 6.6 test suite failures on MSYS/MinGW

2006-09-13 Thread Brian Smith
I finished re-running the test suite with all the necessary libraries installed. Here are the tests that are failing:make stage=2 TESTS=TH_exn TH_fail cabal01 cabal02 conc023 conc037 conc049 conc056 ffi012 ghcpkg04 maessen_hashtab readwrite002 tcfail115 tcfail140 utf8_002 utf8_003 utf8_004

Re: Test Suite's Dependency on Quickcheck

2006-09-13 Thread Brian Smith
= pkg02_b = uri001On 9/12/06, Brian Smith [EMAIL PROTECTED] wrote: If you build GHC with just the default settings, QuickCheck doesn't get pulled from Darcs and it is thus not built and installed into ghc-inplace. Because of this, many of the tests in the test suite fail:SampleVar001

Test Suite's Dependency on Quickcheck

2006-09-12 Thread Brian Smith
If you build GHC with just the default settings, QuickCheck doesn't get pulled from Darcs and it is thus not built and installed into ghc-inplace. Because of this, many of the tests in the test suite fail:SampleVar001 Chan001MVar001QSemN001QSem001bytestring001bytestring004bytestring005I think that

Fwd: Re[2]: What causes hsc2hs permission denied errors during build?

2006-09-07 Thread Brian Smith
On 9/7/06, Bulat Ziganshin [EMAIL PROTECTED] wrote: Hello Esa,Thursday, September 7, 2006, 1:34:13 PM, you wrote: The problem is that removeFile is called for a file that has an open handle, because the handle is not garbage collected yet. a workaround may be to call performGC just before

Re: instance overlap in 6.6 candidate

2006-09-05 Thread Brian Smith
On 9/5/06, Simon Peyton-Jones [EMAIL PROTECTED] wrote: The old model was that every instance is potentially overlappable; andyou only need the flag when you *use* the instances.But peoplecomplained that the clients of their library should not need to knowimport Foogle and use

Re: [Haskell-cafe] Are associated types synonyms like type classes?

2006-09-02 Thread Brian Smith
Bulat, Stefan,My question wasn't clear. I understand already that classes with associated types are are alternative to MPTC with fundeps.When using AT then we have to decide what part of the abstraction is the class and what part is the associated type. Sometimes this seams arbitrary. If we have:

[Haskell-cafe] Are associated types synonyms like type classes?

2006-09-01 Thread Brian Smith
I read the easy parts of the Associated Types with Class and Associated Type Synonyms papers. An associated type synonym seems to kind of work similarly to a restricted form of class. In what way are the two following examples different? -- define a class with a type synonym, and a set of

Re: [Haskell-cafe] Proposal to allow {} instead of () in contexts

2006-08-23 Thread Brian Smith
On 8/23/06, Brian Hulley [EMAIL PROTECTED] wrote: Hi -Disregarding my last proposal which involved the use of {} in types, I amwondering if anyone would agree with me that it would be a good idea to use{} instead of () when writing out the context ie: foo :: (Num a, Bar a) = a - awould become:foo

Fwd: [Haskell-cafe] A restricted subset of CPP included in a revisionof Haskell 98

2006-08-21 Thread Brian Smith
On 8/20/06, Brian Hulley [EMAIL PROTECTED] wrote: Henning Thielemann wrote: On Thu, 17 Aug 2006, Brian Smith wrote: I find it strange that right now almost every Haskell program directly or indirectly (through FPTOOLS) depends on CPP, yet there is no effort to replace CPP with something better

Re: [Haskell-cafe] Description of Haskell extensions used by FPTOOLS

2006-08-21 Thread Brian Smith
] [mailto: [EMAIL PROTECTED]] On Behalf Of Brian Smith Sent: 17 August 2006 17:01 To: haskell-cafe@haskell.org Subject: [Haskell-cafe] Description of Haskell extensions used by FPTOOLS Is there any design document for the FPTOOLS libraries or some description of language features

[Haskell-cafe] Description of Haskell extensions used by FPTOOLS

2006-08-17 Thread Brian Smith
Is there any design document for the FPTOOLS libraries or some description of language features that are (allowed to be) used in them?I am going to be taking some significant time off from my normal jobs in the upcoming months. During part of that time, I would like to do some work to improve the

[Haskell-cafe] A restricted subset of CPP included in a revision of Haskell 98

2006-08-17 Thread Brian Smith
Hi, I find it strange that right now almost every Haskell program directly or indirectly (through FPTOOLS) depends on CPP, yet there is no effort to replace CPP with something better or standardize its usage in Haskell. According to the following document, and my own limited experience in reading

Re: [Haskell-cafe] A restricted subset of CPP included in a revision of Haskell 98

2006-08-17 Thread Brian Smith
On 8/17/06, John Meacham [EMAIL PROTECTED] wrote: On Thu, Aug 17, 2006 at 11:44:17AM -0500, Brian Smith wrote: Hi, I find it strange that right now almost every Haskell program directly or indirectly (through FPTOOLS) depends on CPP, yet there is no effort to replace CPP with something better

Re: [Haskell-cafe] RE: ANN: System.FilePath 0.9

2006-07-17 Thread Brian Smith
Hi Neil,On 7/17/06, Neil Mitchell [EMAIL PROTECTED] wrote: Hi Brian,You sent this email just to me, and not to the list. If you indendedto send to the list then feel free to forward my bits on to the list. I know that FilePath is defined by Haskell '98 as a String and so it cannot be changed. So,

[Haskell-cafe] RE: ANN: System.FilePath 0.9

2006-07-16 Thread Brian Smith
[ I tried to send this through the fa.haskell USENET group but apparently it did not go through]I kind of expect that a Haskell library for file paths will use the type system to ensure some useful properties about the paths. For example, when writing security-conscious software I often want to

Re: [Haskell] ANNOUNCE: ghc-src version 0.2.0

2005-08-29 Thread Brian Smith
On Tue, Aug 23, 2005 at 04:10:51PM +0200, Lemmih wrote: ghc-src 0.2.0 has been released. ghc-src is a Haskell parser with full support for every GHC extension. It is a refactored version of the Haskell parser used internally by GHC and is meant as a replacement for haskell-src-exts,

Re: getDirectoryContents fails in GHC 6.5 snapshots, works in GHC 6.4.1 snapshots

2005-08-08 Thread Brian Smith
On 8/8/05, Simon Marlow [EMAIL PROTECTED] wrote: On 29 July 2005 23:53, Brian Smith wrote: On 7/20/05, Brian Smith [EMAIL PROTECTED] wrote: This bug breaks Cabal 1.0 and Cabal 1.1.1. Expected results: passed Actual results: *** Exception: c:\: getDirectoryContents: failed (No error

Re: [Haskell] problems with RegEx

2005-08-03 Thread Brian Smith
* GHC(i) has included Text.Regex in its Windows builds since at least 6.2.2 * The version of Hugs in CVS contains Text.Regex in the Windows build: Hugs.Base :v -- Hugs Version 20050731 Hugs.Base :l Text.Regex Text.Regex let a = mkRegexWithOpts (.*a$) True True in matchRegex a

Re: getDirectoryContents fails in GHC 6.5 snapshots, works in GHC 6.4.1 snapshots

2005-07-29 Thread Brian Smith
On 7/20/05, Brian Smith [EMAIL PROTECTED] wrote: This bug breaks Cabal 1.0 and Cabal 1.1.1. Expected results: passed Actual results: *** Exception: c:\: getDirectoryContents: failed (No error) The GHC 6.4.1 snapshot was downloaded a week ago; GHC 6.5 is the snapshot from July 18th. I just

Re: [Haskell-cafe] Updating the Haskell Standard

2005-07-21 Thread Brian Smith
On 7/20/05, John Goerzen [EMAIL PROTECTED] wrote: There was a brief discussion on #haskell today about the Haskell standard. I'd like to get opinions from more people, and ask if there is any effort being done in this direction presently. I think an updated standard is overdue. I find it

getDirectoryContents fails in GHC 6.5 snapshots, works in GHC 6.4.1 snapshots

2005-07-20 Thread Brian Smith
This bug breaks Cabal 1.0 and Cabal 1.1.1. Expected results: passed Actual results: *** Exception: c:\: getDirectoryContents: failed (No error) The GHC 6.4.1 snapshot was downloaded a week ago; GHC 6.5 is the snapshot from July 18th. Main.lhs: import System.Directory(getDirectoryContents)

GHCI fails with Windows XP SP2 Data Execution Prevention enabled

2005-07-16 Thread Brian Smith
GHCi fails when Windows XP SP2 Data Execution Prevention is enabled. This happens on my system with GHCi 6.2.2, 6.5, and CVS HEAD (from two weeks ago). Upon failure, the error message that Windows gives is: To help protected your computer, Windows has closed this program. and then: ghc.exe

Re: [Haskell] offside rule question

2005-07-14 Thread Brian Smith
On 7/14/05, Frederik Eaton [EMAIL PROTECTED] wrote: On Thu, Jul 14, 2005 at 03:15:32AM +0200, Lennart Augustsson wrote: The offside rule is patronizing. :) It tries to force you to lay out your program in a certain way. If you like that way, good. I disagree. The offside rule in general

GHC from CVS HEAD does not require that the Main module export main

2005-06-13 Thread Brian Smith
The Haskell 98 report says A Haskell program is a collection of modules, one of which, by convention, must be called Main and must export the value main. However, the program below builds and executes fine. module Main() -- should be module Main or module Main(main) where main = putStrLn Hello,

[Haskell-cafe] Cabal with Alex and and Happy

2005-06-13 Thread Brian Smith
Is there an example of how to build a Cabal package that has a lexer generated with Alex and a parser generated with Happy? As far as I can tell, the way to do this is to add Other-Modules: Module.Name.Of.Parser.y Module.Name.Of.Lexer.x to each executable/library stanza. But, when I try this, I

[Haskell-cafe] Visual Hashell Studio.NET 2005

2005-06-05 Thread Brian Smith
Hi, When will VHS support the Visual Studio.NET 2005 Beta? I'd like to volunteer to test VHS.NET 2005 when it is available. (Also, MS is giving away the VS.NET 2005 beta for free, and VS.NET 2003 costs a whopping $15.00 from my school's bookstore). Thanks, Brian

Re: make html

2005-06-01 Thread Brian Smith
Hi, On 6/1/05, Serge D. Mechveliani [EMAIL PROTECTED] wrote: Dear GHC supporters, rm -f -rf users_guide/ stringparam base.dir users_guide/ \ --stringparam use.id.as.filename 1 \ --stringparam html.stylesheet fptools.css \ --stringparam toc.section.depth

Re: [Haskell] HaskellForge

2005-05-26 Thread Brian Smith
On 5/25/05, Samuel Bronson [EMAIL PROTECTED] wrote: On 21/05/05, Brian Smith [EMAIL PROTECTED] wrote: On 5/13/05, Gour [EMAIL PROTECTED] wrote: If we take a look on new HCAR, we can see that many Haskell projects are scattered all around, so it would be nice to have them on one place

Re: [Haskell] HaskellForge

2005-05-21 Thread Brian Smith
On 5/13/05, Gour [EMAIL PROTECTED] wrote: So, why not form HaskellForge and thereby form powerful Haskell alliance, ie. common site which can host many/most present Haskell projects offering appropriate web other (eg. darcs) services? If we take a look on new HCAR, we can see that many

Feature request: Windows ZIP Distribution

2005-05-18 Thread Brian Smith
Hi, I think it would be convenient for some users (including me at this particular moment) if the Windows binary distribution of GHC was available as a ZIP file. My laptop died and I am using a shared computer with the Windows Installer disabled, thus I cannot use the MSI distribution. Maybe

Feature request: Distribute Windows version as a ZIP file

2005-05-17 Thread Brian Smith
It would convenient for some users to have GHC for Windows available as a ZIP file (i.e. not just as an MSI file). The Windows Installer is disabled on many systems, such as in University computer labs and corporate workstations. I discovered this when my laptop died and I tried to download and

Feature request: Distribute Windows version as a ZIP file

2005-05-17 Thread Brian Smith
It would convenient for some users to have GHC for Windows available as a ZIP file (i.e. not just as an MSI file). The Windows Installer is disabled on many systems, such as in University computer labs and corporate workstations. I discovered this when my laptop died and I tried to download and

Re: ghc --make and linking

2005-03-09 Thread Brian Smith
This annoyed me too, especially when using ghc --make to build a program that uses wxHaskell (long link time) on a slow machine (1Ghz PIII). On Wed, 9 Mar 2005 00:48:56 -0800, Frederik Eaton [EMAIL PROTECTED] wrote: Is there a reason why ghc --make always does a link step regardless of the

Re: [Haskell] ANNOUNCE: Happy 1.15

2005-01-18 Thread Brian Smith
parser name directive This has no effect at present. It will probably remain this way: if you want to control names, you could use qualified import. ... The driver file exports a function doParse :: [[UserDefTok]] - GLRResult Does this mean that it is not possible to put multiple

runghc: cannot find ghc on Windows/MSYS : GHC-6.3.20050106

2005-01-08 Thread Brian Smith
I compiled GHC-6.3.20050106 using GHC-6.2.2 (installed from the MSI). This is on Windows XP SP 2. $ sh --version GNU bash, version 2.04.0(1)-release (i686-pc-msys) Copyright 1999 Free Software Foundation, Inc. $ runghc UnitTests.hs runghc.exe: cannot find ghc $ which ghc /usr/local/bin/ghc $

Re: [Haskell-cafe] Re: OCaml list sees abysmal Language Shootout results

2004-10-11 Thread Brian Smith
On Mon, 11 Oct 2004 14:16:36 -0700, John Meacham [EMAIL PROTECTED] wrote: n Mon, Oct 11, 2004 at 12:22:13PM +0100, Malcolm Wallace wrote: So is it fair to compare the default lazy Haskell solution with all the eager solutions out there that laboriously do all this unnecessary work?

[Haskell-cafe] Control.Monad.Error with a custom error type

2004-08-14 Thread Brian Smith
I have: data Reference = Ref [String] String data ReferenceError = RefError { expectedType :: String -- type of element we were looking for (e.g. type,package) , pointOfError :: Reference-- path to deepest parent element not found in path } type