/dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
H A D | syntax-local.rkt | 28 (provide syntax-transforming? 29 syntax-transforming-with-lifts? 30 syntax-transforming-module-expression? 31 syntax-local-transforming-module-provides? 69 (define (syntax-transforming?) 72 (define (syntax-transforming-with-lifts?) 78 (define (syntax-transforming-module-expression?) 84 (define (syntax-local-transforming-module-provides?) 243 (define lifts (expand-context-lifts ctx)) 395 (unless (syntax-local-transforming-module-provides?) [all …]
|
H A D | module.rkt | 69 (raise-syntax-error #f "not currently transforming a module" s)) 675 (define s-with-edges 679 (define s-with-suitable-enclosing 685 s-with-edges 688 [else s-with-edges])) 692 s-with-suitable-enclosing 1203 #:with-submodules? #f))) 1366 #:with ([current-expand-context ctx]) 1370 (call-with-module-prompt 1391 (raise-syntax-error #f "submodule already declared with the same name" s name)) [all …]
|
/dports/lang/racket/racket-8.3/src/expander/expand/ |
H A D | syntax-local.rkt | 28 (provide syntax-transforming? 29 syntax-transforming-with-lifts? 30 syntax-transforming-module-expression? 31 syntax-local-transforming-module-provides? 69 (define (syntax-transforming?) 72 (define (syntax-transforming-with-lifts?) 78 (define (syntax-transforming-module-expression?) 84 (define (syntax-local-transforming-module-provides?) 243 (define lifts (expand-context-lifts ctx)) 395 (unless (syntax-local-transforming-module-provides?) [all …]
|
H A D | module.rkt | 69 (raise-syntax-error #f "not currently transforming a module" s)) 675 (define s-with-edges 679 (define s-with-suitable-enclosing 685 s-with-edges 688 [else s-with-edges])) 692 s-with-suitable-enclosing 1203 #:with-submodules? #f))) 1366 #:with ([current-expand-context ctx]) 1370 (call-with-module-prompt 1391 (raise-syntax-error #f "submodule already declared with the same name" s name)) [all …]
|
/dports/lang/racket-minimal/racket-8.3/src/expander/boot/ |
H A D | core-primitive.rkt | 3 "../syntax/srcloc.rkt" 6 syntax-e 43 (define-syntax quote-core 44 (syntax-rules (protect) 99 syntax-binding-set->syntax 130 syntax-transforming? 131 syntax-transforming-with-lifts? 132 syntax-transforming-module-expression? 133 syntax-local-transforming-module-provides? 170 (protect local-expand/capture-lifts) [all …]
|
/dports/lang/racket/racket-8.3/src/expander/boot/ |
H A D | core-primitive.rkt | 3 "../syntax/srcloc.rkt" 6 syntax-e 43 (define-syntax quote-core 44 (syntax-rules (protect) 99 syntax-binding-set->syntax 130 syntax-transforming? 131 syntax-transforming-with-lifts? 132 syntax-transforming-module-expression? 133 syntax-local-transforming-module-provides? 170 (protect local-expand/capture-lifts) [all …]
|
/dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/ |
H A D | stx-trans.scrbl | 19 @racket[syntax-transforming?]), otherwise the 869 @racket[syntax-transforming-with-lifts?].} 1110 @defproc[(syntax-transforming?) boolean?]{ 1117 @defproc[(syntax-transforming-with-lifts?) boolean?]{ 1119 Returns @racket[#t] if @racket[(syntax-transforming?)] produces 1123 Currently, @racket[(syntax-transforming?)] implies 1124 @racket[(syntax-transforming-with-lifts?)]. 1129 @defproc[(syntax-transforming-module-expression?) boolean?]{ 1268 @defproc[(syntax-local-transforming-module-provides?) boolean?]{ 1278 @racket[syntax-local-transforming-module-provides?] returns [all …]
|
/dports/misc/cheat/cheat-4.2.2/vendor/github.com/alecthomas/chroma/lexers/r/ |
H A D | racket.go | 66 …syntax`, `begin0`, `case`, `case->`, `case->m`, `case-lambda`, `class`, `class*`, `class-field-acc… 67 …with-atomic-output-file`, `call-with-break-parameterization`, `call-with-composable-continuation`,…
|
/dports/misc/cheat/cheat-4.2.2/vendor/github.com/alecthomas/chroma/chroma-0.9.1/lexers/r/ |
H A D | racket.go | 66 …syntax`, `begin0`, `case`, `case->`, `case->m`, `case-lambda`, `class`, `class*`, `class-field-acc… 67 …with-atomic-output-file`, `call-with-break-parameterization`, `call-with-composable-continuation`,…
|
/dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/workhorse/vendor/github.com/alecthomas/chroma/lexers/r/ |
H A D | racket.go | 62 …syntax`, `begin0`, `case`, `case->`, `case->m`, `case-lambda`, `class`, `class*`, `class-field-acc… 63 …with-atomic-output-file`, `call-with-break-parameterization`, `call-with-composable-continuation`,…
|
/dports/devel/gh/cli-2.4.0/vendor/github.com/alecthomas/chroma/lexers/r/ |
H A D | racket.go | 62 …syntax`, `begin0`, `case`, `case->`, `case->m`, `case-lambda`, `class`, `class*`, `class-field-acc… 63 …with-atomic-output-file`, `call-with-break-parameterization`, `call-with-composable-continuation`,…
|
/dports/www/gitea/gitea-1.16.5/vendor/github.com/alecthomas/chroma/lexers/r/ |
H A D | racket.go | 66 …syntax`, `begin0`, `case`, `case->`, `case->m`, `case-lambda`, `class`, `class*`, `class-field-acc… 67 …with-atomic-output-file`, `call-with-break-parameterization`, `call-with-composable-continuation`,…
|
/dports/sysutils/chezmoi/chezmoi-2.9.3/vendor/github.com/alecthomas/chroma/lexers/r/ |
H A D | racket.go | 66 …syntax`, `begin0`, `case`, `case->`, `case->m`, `case-lambda`, `class`, `class*`, `class-field-acc… 67 …with-atomic-output-file`, `call-with-break-parameterization`, `call-with-composable-continuation`,…
|
/dports/www/gohugo/hugo-0.91.2/vendor/github.com/alecthomas/chroma/lexers/r/ |
H A D | racket.go | 66 …syntax`, `begin0`, `case`, `case->`, `case->m`, `case-lambda`, `class`, `class*`, `class-field-acc… 67 …with-atomic-output-file`, `call-with-break-parameterization`, `call-with-composable-continuation`,…
|
/dports/devel/chroma/chroma-0.9.2/lexers/r/ |
H A D | racket.go | 66 …syntax`, `begin0`, `case`, `case->`, `case->m`, `case-lambda`, `class`, `class*`, `class-field-acc… 67 …with-atomic-output-file`, `call-with-break-parameterization`, `call-with-composable-continuation`,…
|
/dports/sysutils/glow/glow-0.2.0/vendor/github.com/alecthomas/chroma/lexers/r/ |
H A D | racket.go | 62 …syntax`, `begin0`, `case`, `case->`, `case->m`, `case-lambda`, `class`, `class*`, `class-field-acc… 63 …with-atomic-output-file`, `call-with-break-parameterization`, `call-with-composable-continuation`,…
|
/dports/sysutils/go-wtf/wtf-0.21.0/vendor/github.com/alecthomas/chroma/lexers/r/ |
H A D | racket.go | 62 …syntax`, `begin0`, `case`, `case->`, `case->m`, `case-lambda`, `class`, `class*`, `class-field-acc… 63 …with-atomic-output-file`, `call-with-break-parameterization`, `call-with-composable-continuation`,…
|
/dports/sysutils/go-wtf/wtf-0.21.0/vendor/github.com/alecthomas/chroma/chroma-0.6.3/lexers/r/ |
H A D | racket.go | 62 …syntax`, `begin0`, `case`, `case->`, `case->m`, `case-lambda`, `class`, `class*`, `class-field-acc… 63 …with-atomic-output-file`, `call-with-break-parameterization`, `call-with-composable-continuation`,…
|
/dports/lang/racket-minimal/racket-8.3/src/bc/src/ |
H A D | startup.inc | 46074 "(let-values(((with-lifts-s_0)" 46117 "(let-values() with-lifts-s_0)" 46128 " with-lifts-s_0)))" 47926 " 'syntax-transforming?" 47929 "(1/syntax-transforming-with-lifts?)" 47932 " 'syntax-transforming-with-lifts?" 66803 " 'syntax-transforming-with-lifts?" 67038 "(let-values(((temp135_0) 'syntax-transforming?)((syntax-transforming?136_0) 1/syntax-transforming?… 67040 "(let-values(((temp137_0) 'syntax-transforming-with-lifts?)" 67041 "((syntax-transforming-with-lifts?138_0) 1/syntax-transforming-with-lifts?))" [all …]
|
/dports/lang/racket/racket-8.3/src/bc/src/ |
H A D | startup.inc | 46074 "(let-values(((with-lifts-s_0)" 46117 "(let-values() with-lifts-s_0)" 46128 " with-lifts-s_0)))" 47926 " 'syntax-transforming?" 47929 "(1/syntax-transforming-with-lifts?)" 47932 " 'syntax-transforming-with-lifts?" 66803 " 'syntax-transforming-with-lifts?" 67038 "(let-values(((temp135_0) 'syntax-transforming?)((syntax-transforming?136_0) 1/syntax-transforming?… 67040 "(let-values(((temp137_0) 'syntax-transforming-with-lifts?)" 67041 "((syntax-transforming-with-lifts?138_0) 1/syntax-transforming-with-lifts?))" [all …]
|
/dports/lang/racket/racket-8.3/doc/reference/ |
H A D | blueboxes.rktd | 8656 (with-syntax ([pattern stx-expr] ...) 9048 lift-ctx : any/c = (gensym 'lifts) 9061 lift-ctx : any/c = (gensym 'lifts) 9202 (syntax-transforming?) -> boolean? 9204 (syntax-transforming-with-lifts?) -> boolean? 9206 (syntax-transforming-module-expression?) -> boolean? 9233 (syntax-local-transforming-module-provides?) -> boolean? 9519 = (if (syntax-transforming?) syntax-local-introduce values) 9553 intro? : boolean? = (syntax-transforming?) 11148 #:external-lifts external-lifts [all …]
|
/dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/base-env/ |
H A D | base-env.rkt | 1323 [call-with-values 1571 [call-with-semaphore 1786 [local-expand/capture-lifts 1809 [local-transformer-expand/capture-lifts 1848 [syntax-transforming? (-> B)] 1849 [syntax-transforming-module-expression? (-> B)] 1860 [syntax-local-transforming-module-provides? (-> B)] 1964 [with-input-from-file 1966 [with-output-to-file 3298 ;; Needed for `with-syntax' [all …]
|
/dports/lang/ghc/ghc-8.10.7/docs/users_guide/ |
H A D | glasgow_exts.rst | 614 Haskell 2010 and Haskell 98 define floating literals with the syntax 1275 ``ApplicativeDo`` from transforming that statement to use 1471 of the list it is transforming. 2427 with list comprehension syntax. See the 2537 syntax of data constructors, which are required to begin with a 2813 GHC allows existentials to be used with records syntax as well. For 6041 (:ref:`flexible-contexts`) lifts this restriction, so that the only 6117 GHC lifts this restriction with language extension 9709 GHC permits writing kinds with this syntax, provided that the 10588 Of course, ``UndecidableInstances`` lifts the Paterson Conditions, as now. [all …]
|
/dports/textproc/hs-lhs2tex/lhs2tex-1.24/doc/ |
H A D | Guide2.lhs | 88 % This one is with color: 442 beginning with @<@, is to surround the lines with @\begin{spec}@ and 518 \textbf{math} style and lifts the alignment restrictions that the 760 The @%format@ directive is a powerful tool for transforming the source 761 file. The complete syntax that is supported by |lhs2TeX| is quite 1315 with the column. 1334 The syntax of the @\aligncolumn@ command is: 1416 Boolean expressions can be used in conditionals. The syntax of an 1831 with the @beamer@ package. 1837 with the @jfp@ class. [all …]
|
/dports/math/libnormaliz/normaliz-3.9.0/doc/ |
H A D | Normaliz.tex | 1982 transforming data... done. 3087 The input syntax is 4147 transforming data... done. 4741 transforming data... done. 8177 transforming data... done. 8259 transforming data... done. 8272 \section{Normaliz~2 input syntax}\label{OldSyntax} 8442 The simplest constructor has the syntax 8466 and use the constructor with syntax 10429 transforming data... done. [all …]
|