- template-haskell - Haskell.org

RE: Template Haskell...
by Simon Peyton-Jones 31 Oct '03

31 Oct '03

For some time now I've been saying that Tim and I are working on the design of some enhancements to Template Haskell. It's taken longer than I'd hoped, and we aren't done yet, but you can find a draft at http://research.microsoft.com/~simonpj/tmp/notes.ps The message below is a case in point. There's really no good way to do this in TH today, but it's one of the points addressed in our new design (see Section 5). Comments very welcome, folks. Nothing implemented yet, but it's getting near the front of the queue now. Simon | -----Original Message----- | From: glasgow-haskell-users-bounces(a)haskell.org [mailto:glasgow-haskell-users- | bounces(a)haskell.org] On Behalf Of MR K P SCHUPKE | Sent: 29 October 2003 17:46 | To: glasgow-haskell-users(a)haskell.org | Subject: Template Haskell... | | | Okay, I have got my template working, but its extremely unreadable... could | anyone tell me how to make this look more like normal Haskell code? | | stringType :: String -> Q [Dec] | stringType s = do | x <- gensym "x" | return [ | Newtype [] s [] (Constr s [(NonStrict,Tcon (TconName "String"))]) [], | Proto ("show"++s) (Tapp (Tapp (Tcon Arrow) (Tcon (TconName s))) (Tcon (TconName | "ShowS"))), | Fun ("show"++s) [Clause [Pcon s [Pvar x]] (Normal (App (Var "showString") (Var x))) []], | Instance [] (Tapp (Tcon (TconName "Show")) (Tcon (TconName s))) [ | Fun "showsPrec" [Clause [Pwild,Pvar x] (Normal (App (Var ("show"++s)) (Var x))) []]] ] | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

4 6

RE: [Template-haskell] RE: Template Haskell...
by Simon Peyton-Jones 31 Oct '03

31 Oct '03

Trouble is, that's thoroughly awkward one to implement, because it means compiling the transitive closure of all the things in this module referred to by the bit you are running. I'm sure it's doable, but I'm not looking fwd to it. S | -----Original Message----- | From: template-haskell-bounces(a)haskell.org [mailto:template-haskell-bounces@haskell.org] On | Behalf Of Alastair Reid | Sent: 31 October 2003 17:21 | To: Simon Peyton-Jones; MR K P SCHUPKE; template-haskell(a)haskell.org | Subject: Re: [Template-haskell] RE: Template Haskell... | | The other big thing on my wish list is to relax the requirement that templates | go in a separate module from code that invokes the template. | | In Template Greencard, this is a major hassle because you have to put the code | to handle C types (you typically define a new template for each C type) in a | separate module from the code to handle C functions. | | -- | Alastair Reid | | _______________________________________________ | template-haskell mailing list | template-haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/template-haskell

2 1

RE: Template Haskell...
by Simon Peyton-Jones 31 Oct '03

31 Oct '03

| stringType :: String -> Q [Dec] | stringType s = [| | newtype $s = $s String | show$s :: $s -> ShowS | show$s ($s x) = showString x | instance Show $s where | showsPrec _ x = show$s x | instance Eq $s where | ($s x) ($s y) = (x==y) | |] Yes, that's part of what we had in mind (see Section 5 of http://research.microsoft.com/~simonpj/tmp/notes.ps) You'd have to say: stringType :: String -> Q [Dec] stringType s = [| newtype $tc_var = $con_var String $show_var :: $tc_var -> ShowS $show_var ($con_var x) = showString x instance Show $tc_var where showsPrec _ x = $show_var x instance Eq $tc_var where ($con_var x) ($con_var y) = (x==y) |] where tc_var = mkVar s con_var = mkVar s show_var = mkVar ("show" ++ s)

1 0

RE: [Template-haskell] RE: [ ghc-Bugs-820778 ] Malformed Predicate w/ Template Haskell
by Simon Peyton-Jones 31 Oct '03

31 Oct '03

I was wrong. Multi-parameter classes are there. What was wrong was that Jon Cast's program constructed the predicate varT "Flatten" `appT` t whereas he should have used "conT". So there are two issues really: 1. It is in fact legal to have predicates like (m Int) forall m. (m Int) => ... but hsSyn/Convert.lhs didn't handle that. I've fixed that. 2. But it's really an error to allow (varT "T") or (conT "x") at all. Haskell does not allow lower-case type constructors or upper case type variables. So, should varT, conT test and fall over? Or should we instead remove the distinction between varT and conT? Simon | -----Original Message----- | From: Wolfgang Thaller [mailto:wolfgang.thaller@gmx.net] | Sent: 30 October 2003 21:24 | To: Simon Peyton-Jones | Cc: <template-haskell(a)haskell.org> <template-haskell(a)haskell.org> | Subject: Re: [Template-haskell] RE: [ ghc-Bugs-820778 ] Malformed Predicate w/ Template Haskell | | > TH maestros | > | > This bug turns out to be simply that Template Haskell is only set up | > for | > Haskell 98, whereas Jon Cast wants to manipulate multi-parameter type | > clases. | > | > Should we add multi-param type classes to THSyntax? Does anyone feel | > like doing it? It's a fairly routine matter, but it does mean changing | > the data type. (Another reason to use bracket syntax!) | > | > Simon | | Hmmm... I've been using some simple multi-param type classes (no | fundeps) with Template Haskell and GHC from the STABLE cvs tree, and | I've experienced no problems, so I thought they were supported. | They *are* a very useful feature that I don't think I could do without | - what needs to be done to keep them at least as supported as they are | now? | | Cheers, | | Wolfgang |

1 0

RE: [ ghc-Bugs-820778 ] Malformed Predicate w/ Template Haskell
by Simon Peyton-Jones 30 Oct '03

30 Oct '03

TH maestros This bug turns out to be simply that Template Haskell is only set up for Haskell 98, whereas Jon Cast wants to manipulate multi-parameter type clases. Should we add multi-param type classes to THSyntax? Does anyone feel like doing it? It's a fairly routine matter, but it does mean changing the data type. (Another reason to use bracket syntax!) Simon | -----Original Message----- | From: glasgow-haskell-bugs-bounces(a)haskell.org [mailto:glasgow-haskell-bugs- | bounces(a)haskell.org] On Behalf Of SourceForge.net | Sent: 09 October 2003 18:51 | To: noreply(a)sourceforge.net | Subject: [ ghc-Bugs-820778 ] Malformed Predicate w/ Template Haskell | | Bugs item #820778, was opened at 2003-10-09 12:51 | Message generated for change (Tracker Item Submitted) made by Item Submitter | You can respond by visiting: | https://sourceforge.net/tracker/?func=detail&atid=108032&aid=820778&grou p_id=8032 | | Category: Compiler (Type checker) | Group: 6.0.1 | Status: Open | Resolution: None | Priority: 5 | Submitted By: Jon Cast (jcast) | Assigned to: Nobody/Anonymous (nobody) | Summary: Malformed Predicate w/ Template Haskell | | Initial Comment: | The following two modules: | | --- Cut --- | | module ScratchTemplates where | | import Language.Haskell.THSyntax | | newtype Interaction a = Interaction a deriving Show | | ret = Interaction | | instance Monad Interaction where | return = Interaction | Interaction x >>= f = f x | | instance Functor Interaction where | fmap f x = x >>= return . f | | interactionT t = tcon (TconName "Interaction") `tapp` t | | class Flatten a b | a -> b where | flatten :: a -> b | | flattenT :: TypQ -> TypQ -> TypQ | flattenT t t' = tvar "Flatten" `tapp` t `tapp` t | | baseType t = sequence [ | inst (return []) (flattenT t t) | [val (pvar "flatten") (normal (var "id")) []], | inst (return []) (flattenT (interactionT t) | (interactionT t)) | [val (pvar "flatten") (normal (var "id")) []]] | | instance Flatten a b => | Flatten (Interaction (Interaction a)) | (Interaction b) where | flatten a = a >>= id >>= return . flatten | | module Main where | | import Monad | import ScratchTemplates | import Language.Haskell.THSyntax | | $(baseType (tcon (Tuple 0))) | | instance Flatten String String where | flatten a = a | | instance Flatten (Interaction String) (Interaction | String) where | flatten a = a | | instance Flatten b c => Combine String b (String, c) where | combine a b = liftM2 (,) a (fmap flatten b) | | instance Flatten Int Int where | flatten a = a | | class Combine a b c | a b -> c where | combine :: Interaction a -> Interaction b -> | Interaction c | | instance Combine () b b where | combine a b = b | | instance Flatten b c => Combine Int b (Int, c) where | combine a b = do | x <- a | y <- fmap flatten b | return (x, y) | | instance (Flatten b c, Combine a c d) => | Flatten (Interaction a, Interaction b) | (Interaction d) where | flatten (a, b) = combine a (fmap flatten b) | | main = main | | --- Cut here --- | | loaded into ghci -fglasgow-exts produce the following | error message: | | Compiling ScratchTemplates ( ScratchTemplates.hs, | interpreted ) | Compiling Main ( scratch.hs, interpreted ) | ghc-6.0.1: panic! (the `impossible' happened, GHC | version 6.0.1): | Malformed predicate | | Please report it as a compiler bug to | glasgow-haskell-bugs(a)haskell.org, | or http://sourceforge.net/projects/ghc/. | | | ---------------------------------------------------------------------- | | You can respond by visiting: | https://sourceforge.net/tracker/?func=detail&atid=108032&aid=820778&grou p_id=8032 | _______________________________________________ | Glasgow-haskell-bugs mailing list | Glasgow-haskell-bugs(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

2 1

RE: [Template-haskell] RE: Template Haskell...
by Simon Peyton-Jones 30 Oct '03

30 Oct '03

Now is the time to discuss this interface, because I'll implement it in the next "round" of TH. I had in mind that a particular run might cause multiple errors (error recovery is good) and warnings. So I was thinking of report :: Bool -> String -> Q () -- Report an error (True) or warning (False) This would not fail, though, just log a report. (It would not print it immediately, just accumulate it.) To fail, use the monadic fail. fail :: String -> Q () When recovering, you may want to suppress errors and/or warnings or you may not recover :: Q a -> Q a -> Q a -- Retain errors and warnings recoverQuietly :: Q a -> Q a -> Q a -- Discard errors and warnings I don't think we want Exceptions here. And I'm sceptical about whether the recovery code wants to inspect the errors and warnings. Just possibly, the recovery code could get the String passed to 'fail'. Personally I like the recovery code (= handler) to be the first argument, because it's usually small. I'm a bit uncertain about your failWithEx. Maybe a more elaborated version of report? I wonder if it's worth it. Simon | -----Original Message----- | From: Alastair Reid [mailto:alastair@reid-consulting-uk.ltd.uk] | Sent: 30 October 2003 10:05 | To: Simon Peyton-Jones; template-haskell(a)haskell.org | Subject: Re: [Template-haskell] RE: Template Haskell... | | | > f 0 = failWith "Postitive n required | > f n = [| \x -> x+n |] | > ....$(f 0)..... | > | > would elicit the error message | > | > Foo.hs:8: Error in splice $(f 0): | > Positive n required | > | > Is that what you want? | | I'd like: | | 1) To be able to write the function that formats the error message. | That is, the bit that adds in "Error in splice $(f 0):" | | Possible interface: | | --| Raise a TH exception | -- First argument uses the splice string to produce | -- an error string | failWithEx :: (String -> Q String) -> Q a | | failWith msg = failWithEx (\ splice -> | return ( "Error in splice " ++ splice ++ ":" | ++ "\n" ++ msg) | | 2) To be able to catch errors resulting from compiling the spliced code. | If we deliberately introduce an error: | | f n = [| \x -> x+'n' |] | ....$(f 3).... | | we get this error message: | | Couldn't match `Int' against `Char' | Expected type: Int | Inferred type: Char | In the second argument of `(+)', namely 'a' | In a lambda abstraction: \ x'0 -> (x'0 + 'a') | | I'd like the option of replacing that message with: | | Foo.hs:8: Uncaught Template Greencard error while expanding '$(f 3)' | Please report it as a bug | | The most obvious way to do this is to allow the exception to | be caught. | | Possible interface: | | --| Though this has the type of a normal exception catching function, | -- its semantics is (I think) a bit different because it catches | -- exceptions triggered by splicing its first argument into the | -- module and lets the handler offer up n alternative value to splice | -- in. | -- (For implementation reasons, it might be necessary to restrict | -- its use to top-level splices? - I'm guessing that this is the only | -- case where it's possible to unambiguously place the blame on | -- the splice.) | catchQ :: Q a -> (Exception -> Q a) -> Q a | | Using this, I'd rewrite | | f :: Int -> Q Exp | f n = catchQ (\ ex -> failWithEx (\ splice -> return "Uncaught ...")) | (f' n) | | f' 0 = failWith "Postitive n required | f' n = [| \x -> x+n |] | | | -- | Alastair Reid www.haskell-consulting.com |

2 1

RE: [Template-haskell] RE: Template Haskell...
by Simon Peyton-Jones 30 Oct '03

30 Oct '03

| I have one meta-function that generates declarations; and I have | another meta function that needs to know what definitions generated by | the first meta function there are (accross module boundaries). I'm not sure what you're asking for here. Some kind of monadic function that stores persistent state, that persists across multiple compilations? Presumably held in the file system? Some kind of database? I suppose you could write a library using strings only that would support write :: FileName -> String -> String -> IO () read :: FileName -> String -> IO String So (write f key val) writes the (key,value) pair into the file f; and read gets it back. Now you could use those in Q (because Q supports IO). Alastair wants per-module persistence. I'm sceptical about that because TH makes absolutely no guarantees about which order things will be evaluated in. So how would you know which effect occurs first? In both cases I feel I'm missing the point. | reifyImportedModules :: [String] -- or Q [String] | reifyCurrentModuleName :: String -- or Q String The latter seems sensible; but what should the former return? Just the *direct* imports? Do-able anyway. Simon

2 1

RE: [Template-haskell] TH bug report
by Simon Peyton-Jones 30 Oct '03

30 Oct '03

Likewise, now fixed in the HEAD. Simon | -----Original Message----- | From: template-haskell-bounces(a)haskell.org [mailto:template-haskell-bounces@haskell.org] On | Behalf Of Sean Seefried | Sent: 16 October 2003 12:55 | To: template-haskell(a)haskell.org | Subject: [Template-haskell] TH bug report | | Dear Template Haskell users, | | I just wrote a short program with this declaration and got the | following error message. | | ----- | d_class = [d| class Classy a b where | f :: a -> b | | instance Classy Int Bool where | f x = if x == 0 then True else False | |] | ------ | | | Class `Test.Classy' does not have a method `f' | In the instance declaration for `Test.Classy Int Bool' | In the definition of `d_class': | d_class = [d| | class Test.Classy a b where { | Test.f :: a -> b {- has default method -}; } | | instance {Test.Classy Int Bool} where | [] | f x y = if x == 0 then True else False |] | | ------ | | This doesn't seem like correct behaviour to me. | | Sean | | _______________________________________________ | template-haskell mailing list | template-haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/template-haskell

1 0

RE: [Template-haskell] TH bug report (again)
by Simon Peyton-Jones 30 Oct '03

30 Oct '03

Thanks for the report; now fixed in the HEAD. Simon | -----Original Message----- | From: template-haskell-bounces(a)haskell.org [mailto:template-haskell-bounces@haskell.org] On | Behalf Of Sean Seefried | Sent: 16 October 2003 13:02 | To: template-haskell(a)haskell.org | Subject: [Template-haskell] TH bug report (again) | | Hi again, | | ----------- | d_show = [d| data A = A | | instance Show A where | show _ = "A" | |] | | -------------- | gives | | ---------------------- | ghc-6.2: panic! (the `impossible' happened, GHC version 6.2): | Failed binder lookup: GHCziShow.show {- v rKy -} | | Please report it as a compiler bug to glasgow-haskell-bugs(a)haskell.org, | or http://sourceforge.net/projects/ghc/. | ----------------------- | This might not be a bug, but if it's not can you please tell me what I | am doing wrong? | | Sean | | _______________________________________________ | template-haskell mailing list | template-haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/template-haskell

1 0

RE: [Template-haskell] RE: Template Haskell...
by Simon Peyton-Jones 30 Oct '03

30 Oct '03

Our plan for error messages was failWith :: String -> Q () Would that do? In this way you can format your own error message. So if you had f :: Int -> Q Exp f 0 = failWith "Postitive n required f n = [| \x -> x+n |] then the splice ....$(f 0)..... would elicit the error message Foo.hs:8: Error in splice $(f 0): Positive n required Is that what you want? Simon | -----Original Message----- | From: Alastair Reid [mailto:alastair@reid-consulting-uk.ltd.uk] | Sent: 29 October 2003 21:47 | To: Simon Peyton-Jones; template-haskell(a)haskell.org | Subject: Re: [Template-haskell] RE: Template Haskell... | | More things for the TH wish-list: | | I've been using TH to create language extensions. | Unfortunately, the error messages are horrible because: | | 1) They contain a header generated by TH. | This contains useful information like line numbers but it | talks about TH instead of talking about my extension. | | I want to be able to format the error message header myself using | information like filename and line number that TH provides to me. | | 2) They contain a body generated by TH. | If the code my language extension generates is wrong, | there's virtually no chance that any user (myself included) | will figure it out from seeing the machine-generated Haskell | code or being given the type error message. | Better just to say there is a problem and leave it at that. | | I want to be able to construct the error message body myself | using information like the expression being spliced before | evaluation, after evaluation and the error message produced. | | | A related issue is that I generate files corresponding to each TH module I | compile. If ghc is producing a file called foo/bar.o, I'd like the name of | the file to be foo/bar_stub.o. For this sort of application, I need access | to the name of the input and output filenames. | | Finally, can you drop the 'tick' from variable names produced using gensym? | If you'd used underscore, the variable name would be a legal C identifier | too. (Ok, so this is a bit specialized but it's very easy to do.) | | -- | Alastair Reid www.haskell-consulting.com |

2 1