-! Inspired by
-! http://cat-language.googlecode.com/svn/trunk/CatPointFreeForm.cs
-
+! Copyright (C) 2007, 2008 Slava Pestov, Eduardo Cavazos.
+! See http://factorcode.org/license.txt for BSD license.
 USING: kernel namespaces sequences sequences.private assocs
        math inference.transforms parser words quotations debugger
        macros arrays macros splitting combinators prettyprint.backend
        definitions prettyprint hashtables combinators.lib
        prettyprint.sections ;
-
 IN: locals
+
+! Inspired by
+! http://cat-language.googlecode.com/svn/trunk/CatPointFreeForm.cs
 
 <PRIVATE
 


MACRO: with-locals ( form -- quot ) lambda-rewrite ;

: :: "lambda" (::) drop define-compound ; parsing

: MACRO:: "lambda-macro" (::) (MACRO:) ; parsing


    { wlet-body wlet-vars wlet-bindings } get-slots pprint-let
    \ ] pprint-word ;

PREDICATE: word lambda-word
    "lambda" word-prop >boolean ;

M: lambda-word definer drop \ :: \ ; ;
