basis/locals/types/types.factor

   1 ! Copyright (C) 2007, 2010 Slava Pestov, Eduardo Cavazos.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: accessors combinators kernel sequences words
   4 quotations ;
   5 IN: locals.types
   6
   7 TUPLE: lambda vars body ;
   8
   9 C: <lambda> lambda
  10
  11 TUPLE: let body ;
  12
  13 C: <let> let
  14
  15 TUPLE: quote local ;
  16
  17 C: <quote> quote
  18
  19 : unquote ( quote -- local ) dup quote? [ local>> ] when ; inline
  20
  21 TUPLE: def local ;
  22
  23 C: <def> def
  24
  25 TUPLE: multi-def locals ;
  26
  27 C: <multi-def> multi-def
  28
  29 PREDICATE: local < word "local?" word-prop ;
  30
  31 : <local> ( name -- word )
  32     ! Create a local variable identifier
  33     f <word>
  34     dup t "local?" set-word-prop ;
  35
  36 M: local literalize ;
  37
  38 PREDICATE: local-reader < word "local-reader?" word-prop ;
  39
  40 : <local-reader> ( name -- word )
  41     f <word>
  42     dup t "local-reader?" set-word-prop ;
  43
  44 M: local-reader literalize ;
  45
  46 PREDICATE: local-writer < word "local-writer?" word-prop ;
  47
  48 : <local-writer> ( reader -- word )
  49     dup name>> "!" append f <word> {
  50         [ nip t "local-writer?" set-word-prop ]
  51         [ swap "local-reader" set-word-prop ]
  52         [ "local-writer" set-word-prop ]
  53         [ nip ]
  54     } 2cleave ;
  55
  56 UNION: lexical local local-reader local-writer ;
  57 UNION: special lexical quote def ;