| /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 …]
|