You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Expand the code examples and add explanations, so that the tutorial's examples can be compiled without errors with GHC 7.10.
In the current state it is neccessary to either add type annotations or language pragmas (both of which are not given/explained in the tutorial) at various points in the tutorial. For Haskell beginners this might be very non-trivial to figure out.
From a didactic point of view it might be useful to add and explain type annotations to make it work, rather than language pragmas, as the types support the understanding for what's going on and they might be needed anyways when continuing to work with Diagrams. Language pragmas, however, seem quite black-magicky.
The text was updated successfully, but these errors were encountered:
The problem is that GHC 7.10 has gotten a lot stricter about requiring extensions that would be necessary to actually write down any inferred types. So this can be solved either by enabling some extra extensions, or by giving things more concrete type signatures that do not require the extensions.
Expand the code examples and add explanations, so that the tutorial's examples can be compiled without errors with GHC 7.10.
In the current state it is neccessary to either add type annotations or language pragmas (both of which are not given/explained in the tutorial) at various points in the tutorial. For Haskell beginners this might be very non-trivial to figure out.
From a didactic point of view it might be useful to add and explain type annotations to make it work, rather than language pragmas, as the types support the understanding for what's going on and they might be needed anyways when continuing to work with Diagrams. Language pragmas, however, seem quite black-magicky.
The text was updated successfully, but these errors were encountered: