Changes between Version 7 and Version 8 of Holes


Ignore:
Timestamp:
Feb 10, 2012 1:03:00 PM (3 years ago)
Author:
spl
Comment:

Syntactic sugar for {_ undefined _}

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v7 v8  
    175175}}}
    176176
    177 The same effect of holes can then be achieved by using {{{ {_ undefined _} }}}.
     177The same effect of holes can then be achieved by using {{{ {_ undefined _} }}}. To return to the conciseness of holes, {{{__}}} could be syntactic sugar for {{{{_ undefined _}}}}. (Note that defining {{{__ = {_ undefined _}}}} in Haskell would not do this. The type would be {{{forall a. a}}}.)