Offside rule for function definitions

fac 0 = 0
    1 = 1
    x = x * fac (x-1)

Trac metadata

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

changed weight to 5

added Tfeature request Trac import labels

closed

It's not at all clear how this would fit into the current design of the layout rule. You'll have to work out a lot more of the details to make this a proposal.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedInvalid

I would have expected that the function name (fac in this example) would trigger offside the same way let and where do. Is this being naive?

Replying to [ticket:4483#comment:45967 gidyn]:

I would have expected that the function name (fac in this example) would trigger offside the same way let and where do. Is this being naive?

A little :-) Take a look at the definition of the layout rule in the Haskell Report: http://www.haskell.org/onlinereport/haskell2010/haskellch10.html#x17-17800010.3

Trac metadata

Trac field	Value
CC	gideon@accursoft.com →

added Pnormal label