symbols should/might be type level lists of chars

I thought I had seen that feature request in trac but did not find it. Sorry if I am wrong.

A simple use case might be a type safe routing framework, e.g.

get :: Route "/a/:id" $ do
    idA <- param :: Param "idA"
    ...

I spoke with pedro at hacberlin last weekend and he told me simonp and iavor might tell me where to start looking.

Trac metadata

Trac field	Value
Version
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

changed milestone to %7.10.1

changed weight to 5

added Tfeature request Trac import labels

I agree in that I find the impedance mismatch between term-level Strings and type-level Symbols a little annoying. But, there's a fairly sensible workaround: use lists of one-character symbols. A little quasi-quoting to ease the syntactic pain and you can get fairly far.

I would still rather, of course, built-in support.

Richard: I didn't think of that workaround you propose, but it might just work, yes.

Still, if ibotty would want to work on this, could simonpj and/or iavor provide some guidance?

I too have found this problem annoying, as right now you can't really do much with Symbols.

removed milestone

Moving to 7.12.1 milestone; if you feel this is an error and should be addressed sooner, please move it back to the 7.10.1 milestone.

changed milestone to %8.0.1

Milestone renamed

added Pnormal label