git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/test/test008
3 files
../ expectedAdded case and pattern matching let bindings Also pattern matching bind in do notation case notation currently has limitations: - only works on simple types (each pattern must have the same type, more specifically) - return type needs to be known a… runInfrastructure for passing of parameters to idris during tests test008.idrTake care with 'let' in specialiser - avoid duplicating a redex Let now only reduces if the binding appears at most once in scope during specialisation