search

haskell-mafia / projector

A typed, total templating language
BSD 3-Clause "New" or "Revised" License
7 stars 7 forks source link

Source locations on constraints obtained from type signatures #243

Open thumphries opened 7 years ago

thumphries commented 7 years ago

This Nothing is causing terrible errors:

https://github.com/ambiata/projector/blob/5bdb3711a37c54d2588735366ae8da7f53b33f58/projector-core/src/Projector/Core/Check.hs#L121

The interface to the type checker needs to be changed. Suggest changing Map Name Type to Map Name (a, Type) and following the type errors.

thumphries commented 7 years ago

Associated issue here https://github.com/ambiata/projector/issues/239