search

anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
454 stars 53 forks source link

Stop type checking at the first type error #1254

Closed paulcadman closed 2 years ago

paulcadman commented 2 years ago

See https://github.com/heliaxdev/minijuvix/issues/42 for context.

We decided to return to the behaviour of stopping type-checking after the first type error, reverting work done in https://github.com/heliaxdev/minijuvix/pull/30

janmasrovira commented 2 years ago

This was handled in anoma/juvix#1366