CurryInfo: nonstrictunif-optimize-3.1.0

 Optimization

 [Dependency "base" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "currypath" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "directory" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "flatcurry" [[VGte "5.0.0",VLt "6.0.0"]],Dependency "process" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "read-legacy" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "redblacktree" [[VGte "3.0.0",VLt "4.0.0"]]]

 
nonstrictunif-optimize
======================

Linearity optimizer for functional patterns and non-strict unification
----------------------------------------------------------------------

This package contains a tool which replaces occurrences of
`(fp =:<= x)` by `(fp =:<<= x)` if the functional pattern `fp`
always evaluates to a linear term.

 CurryBrowseAnalysis.Dependency CurryBrowseAnalysis.Linearity NonStrictOpt

 CurryBrowseAnalysis.Dependency CurryBrowseAnalysis.Linearity NonStrictOpt

 3.1.0