Home
last modified time | relevance | path

Searched +refs:lift +refs:context +refs:module +refs:ok (Results 1 – 25 of 410) sorted by relevance

12345678910>>...17

/dports/lang/racket-minimal/racket-8.3/src/expander/expand/
H A Dlift-context.rkt26 make-module-lift-context
60 module*-ok?) ; if used to capture module lifts, allow `module*`?
64 (define (make-lift-context convert #:module*-ok? [module*-ok? #f])
65 (lift-context convert (box null) module*-ok?))
145 module*-ok?) ; whether `module*` is allowed
148 (define (make-module-lift-context phase module*-ok?)
149 (module-lift-context phase (box null) module*-ok?))
156 (module-lift-context-module*-ok? module-lifts))
158 (lift-context-module*-ok? module-lifts)))
170 [(module-lift-context? module-lifts)
[all …]
H A Dsyntax-local.rkt70 (and (get-current-expand-context #:fail-ok? #t) #t))
73 (define ctx (get-current-expand-context #:fail-ok? #t))
79 (define ctx (get-current-expand-context #:fail-ok? #t))
85 (define ctx (get-current-expand-context #:fail-ok? #t))
116 (define ctx (get-current-expand-context #:fail-ok? #t))
148 (define ctx (get-current-expand-context #:fail-ok? #t))
175 (define ctx (get-current-expand-context #:fail-ok? #t))
352 #:get-lift-ctx expand-context-to-module-lifts
353 #:get-wrt-phase to-module-lift-context-wrt-phase
369 #:get-lift-ctx expand-context-to-module-lifts
[all …]
H A Dlocal-expand.rkt9 "../namespace/module.rkt"
29 (define (local-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate-lift-key)])
32 #:lift-key lift-key))
38 …define (local-transformer-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate…
42 #:lift-key lift-key))
46 #:to-parsed-ok? opaque-only?
71 #:to-parsed-ok? [to-parsed-ok? #f]
85 '(expression top-level module module-begin))))
89 "(or/c 'expression 'top-level 'module 'module-begin list?)")
107 #:to-parsed-ok? to-parsed-ok?
[all …]
H A Dcontext.rkt13 "lift-key.rkt")
44 * context ; 'expression, 'module, or 'top-level
54 module-begin-k ; expander for `#%module-begin` in a 'module-begin context
63 lifts ; #f or lift-context, which contains a list of lifteds
85 (root-expand-context-module-scopes root-ctx)
93 (root-expand-context-lift-key root-ctx)
115 '() ; lift-envs
131 … [module-scopes #:parent root-expand-context (root-expand-context-module-scopes root-ctx)]
139 [lift-key #:parent root-expand-context (root-expand-context-lift-key root-ctx)]
146 #:fail-ok? [fail-ok? #f])
[all …]
H A Dmain.rkt12 "../namespace/module.rkt"
29 "lift-context.rkt"
317 ;; It's ok to have a rename transformer whose target
416 (not (free-id-set-empty-or-just-module*? (expand-context-stops ctx))))))
517 (expand-context-lift-envs ctx)
569 (define lift-ctx (make-lift-context
575 #:module*-ok? (and (not local?) (eq? context 'module))))
577 [lift-key #:parent root-expand-context lift-key]
585 (expand-context-module-lifts ctx)
611 ;; [*] Although `(memq context '(top-level module))` makes more sense
[all …]
H A Dmodule.rkt24 "lift-context.rkt"
25 "lift-key.rkt"
274 ;; For `syntax-local-lift-module-end-declaration`, which is accumulated
321 … [lift-key #:parent root-expand-context (generate-lift-key)]
322 [lifts (make-lift-context
326 [module-lifts (make-module-lift-context phase #t)]
327 [require-lifts (make-require-lift-context
332 [to-module-lifts (make-to-module-lift-context
368 [to-module-lifts (make-to-module-lift-context phase
383 ;; Check that any tentatively allowed reference at phase >= 1 is ok
[all …]
/dports/lang/racket/racket-8.3/src/expander/expand/
H A Dlift-context.rkt26 make-module-lift-context
60 module*-ok?) ; if used to capture module lifts, allow `module*`?
64 (define (make-lift-context convert #:module*-ok? [module*-ok? #f])
65 (lift-context convert (box null) module*-ok?))
145 module*-ok?) ; whether `module*` is allowed
148 (define (make-module-lift-context phase module*-ok?)
149 (module-lift-context phase (box null) module*-ok?))
156 (module-lift-context-module*-ok? module-lifts))
158 (lift-context-module*-ok? module-lifts)))
170 [(module-lift-context? module-lifts)
[all …]
H A Dsyntax-local.rkt70 (and (get-current-expand-context #:fail-ok? #t) #t))
73 (define ctx (get-current-expand-context #:fail-ok? #t))
79 (define ctx (get-current-expand-context #:fail-ok? #t))
85 (define ctx (get-current-expand-context #:fail-ok? #t))
116 (define ctx (get-current-expand-context #:fail-ok? #t))
148 (define ctx (get-current-expand-context #:fail-ok? #t))
175 (define ctx (get-current-expand-context #:fail-ok? #t))
352 #:get-lift-ctx expand-context-to-module-lifts
353 #:get-wrt-phase to-module-lift-context-wrt-phase
369 #:get-lift-ctx expand-context-to-module-lifts
[all …]
H A Dlocal-expand.rkt9 "../namespace/module.rkt"
29 (define (local-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate-lift-key)])
32 #:lift-key lift-key))
38 …define (local-transformer-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate…
42 #:lift-key lift-key))
46 #:to-parsed-ok? opaque-only?
71 #:to-parsed-ok? [to-parsed-ok? #f]
85 '(expression top-level module module-begin))))
89 "(or/c 'expression 'top-level 'module 'module-begin list?)")
107 #:to-parsed-ok? to-parsed-ok?
[all …]
H A Dcontext.rkt13 "lift-key.rkt")
44 * context ; 'expression, 'module, or 'top-level
54 module-begin-k ; expander for `#%module-begin` in a 'module-begin context
63 lifts ; #f or lift-context, which contains a list of lifteds
85 (root-expand-context-module-scopes root-ctx)
93 (root-expand-context-lift-key root-ctx)
115 '() ; lift-envs
131 … [module-scopes #:parent root-expand-context (root-expand-context-module-scopes root-ctx)]
139 [lift-key #:parent root-expand-context (root-expand-context-lift-key root-ctx)]
146 #:fail-ok? [fail-ok? #f])
[all …]
H A Dmain.rkt12 "../namespace/module.rkt"
29 "lift-context.rkt"
317 ;; It's ok to have a rename transformer whose target
416 (not (free-id-set-empty-or-just-module*? (expand-context-stops ctx))))))
517 (expand-context-lift-envs ctx)
569 (define lift-ctx (make-lift-context
575 #:module*-ok? (and (not local?) (eq? context 'module))))
577 [lift-key #:parent root-expand-context lift-key]
585 (expand-context-module-lifts ctx)
611 ;; [*] Although `(memq context '(top-level module))` makes more sense
[all …]
H A Dmodule.rkt24 "lift-context.rkt"
25 "lift-key.rkt"
274 ;; For `syntax-local-lift-module-end-declaration`, which is accumulated
321 … [lift-key #:parent root-expand-context (generate-lift-key)]
322 [lifts (make-lift-context
326 [module-lifts (make-module-lift-context phase #t)]
327 [require-lifts (make-require-lift-context
332 [to-module-lifts (make-to-module-lift-context
368 [to-module-lifts (make-to-module-lift-context phase
383 ;; Check that any tentatively allowed reference at phase >= 1 is ok
[all …]
/dports/lang/racket-minimal/racket-8.3/src/expander/
H A Ddemo.rkt209 #:check 'ok
221 'ok))
421 "internal definition context"
1054 ;; syntax-local-lift-{expression,module}, etc.
1076 (syntax-local-lift-module
1080 (syntax-local-lift-module
1083 (syntax-local-lift-module-end-declaration
1105 (syntax-local-lift-module-end-declaration
1289 'ok-dynamic
1297 'ok-instance
[all …]
/dports/lang/racket/racket-8.3/src/expander/
H A Ddemo.rkt209 #:check 'ok
221 'ok))
421 "internal definition context"
1054 ;; syntax-local-lift-{expression,module}, etc.
1076 (syntax-local-lift-module
1080 (syntax-local-lift-module
1083 (syntax-local-lift-module-end-declaration
1105 (syntax-local-lift-module-end-declaration
1289 'ok-dynamic
1297 'ok-instance
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/macro-debugger-text-lib/macro-debugger/model/
H A Dderiv-parser.rkt12 (define (deriv-error ok? name value start end)
13 (if ok?
137 [(tag/context ?EE)
172 [(lift-expr)
182 [(lift-module)
183 (match $1 [(list* orig renamed) (make local-lift-module orig renamed)])]
256 ;; src/expander/expand/module.rkt
303 [(module-end-lifts ?ModulePass1)
335 ;; module* : stop
358 [(EE Eval module-pass2-lifts
[all …]
/dports/lang/racket-minimal/racket-8.3/src/bc/src/
H A Dstartup.inc44003 "(struct:lift-context lift-context1.1 lift-context? lift-context-convert lift-context-lifts lift-co…
44292 " module-lift-context?"
44295 " module-lift-context-module*-ok?)"
44300 " 'module-lift-context"
44320 "(lambda(phase_0 module*-ok?_0)(begin(module-lift-context15.1 phase_0(box null) module*-ok?_0))))"
44331 "(module-lift-context-module*-ok? module-lifts_0)"
44333 "(if or-part_0 or-part_0(if(lift-context? module-lifts_0)(lift-context-module*-ok? module-lifts_0) …
44413 " to-module-lift-context?"
44422 " 'to-module-lift-context"
48882 "((to-module-lift-context-wrt-phase119_0) to-module-lift-context-wrt-phase)"
[all …]
/dports/lang/racket/racket-8.3/src/bc/src/
H A Dstartup.inc44003 "(struct:lift-context lift-context1.1 lift-context? lift-context-convert lift-context-lifts lift-co…
44292 " module-lift-context?"
44295 " module-lift-context-module*-ok?)"
44300 " 'module-lift-context"
44320 "(lambda(phase_0 module*-ok?_0)(begin(module-lift-context15.1 phase_0(box null) module*-ok?_0))))"
44331 "(module-lift-context-module*-ok? module-lifts_0)"
44333 "(if or-part_0 or-part_0(if(lift-context? module-lifts_0)(lift-context-module*-ok? module-lifts_0) …
44413 " to-module-lift-context?"
44422 " 'to-module-lift-context"
48882 "((to-module-lift-context-wrt-phase119_0) to-module-lift-context-wrt-phase)"
[all …]
/dports/lang/racket/racket-8.3/collects/racket/contract/private/
H A Dprovide.rkt163 (let* ([key (syntax-local-lift-context)]
227 (let* ([key (syntax-local-lift-context)]
364 (syntax-local-lift-module-end-declaration
439 [(equal? (syntax-local-context) 'module-begin)
445 (unless (equal? (syntax-local-context) 'module)
446 (raise-syntax-error #f "only valid in a top-level module context" stx))
525 (define (do-partial-app ctc val name pos-module-source source context-limit)
815 [is-id-ok?
860 (unless (andmap/count is-id-ok? selector-ids)
1208 ;; along all context to support `module->namespace`:
[all …]
/dports/lang/racket-minimal/racket-8.3/collects/racket/contract/private/
H A Dprovide.rkt163 (let* ([key (syntax-local-lift-context)]
227 (let* ([key (syntax-local-lift-context)]
364 (syntax-local-lift-module-end-declaration
439 [(equal? (syntax-local-context) 'module-begin)
445 (unless (equal? (syntax-local-context) 'module)
446 (raise-syntax-error #f "only valid in a top-level module context" stx))
525 (define (do-partial-app ctc val name pos-module-source source context-limit)
815 [is-id-ok?
860 (unless (andmap/count is-id-ok? selector-ids)
1208 ;; along all context to support `module->namespace`:
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/games/gl-board-game/
H A Dgl-board.rkt1 (module gl-board racket
43 ;; min-x, max-x, min-y, max-y, lift: real
234 (with-gl-context
288 (with-gl-context
366 (with-gl-context
369 (gl-double-vector- (screen->world x y lift)
374 (with-gl-context
381 (screen->world x y lift)
431 (with-gl-context
450 '(ok stop))
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/games/doors/
H A Ddoors.rkt1 (module doors racket
38 (send game with-gl-context f))
69 (lift 0.15)
80 (send board with-gl-context
168 (send board with-gl-context
173 (define/public (with-gl-context f)
174 (send board with-gl-context f))
198 [(n s e w) 'ok]
/dports/lang/racket/racket-8.3/src/ChezScheme/s/
H A Dcpnanopass.ss38 (module ()
94 (module (pass)
655 (module ()
664 (module ()
1539 (module (np-lift-well-known-closures)
1694 … (lift-info-le**-set! lift-info (append (lift-info-le** new-lift-info) (lift-info-le** lift-info)))
1831 (lift-info-le**-set! lift-info (cons lift-le* (lift-info-le** lift-info))))
1889 … (lift-info-le**-set! lift-info (append (lift-info-le** new-lift-info) (lift-info-le** lift-info)))
2817 ;; Optimistically assume 'fp, so it will unify ok with
5105 … ;; where the attachments field is #f. Make sure the GC is ok with that.
[all …]
/dports/lang/racket-minimal/racket-8.3/src/ChezScheme/s/
H A Dcpnanopass.ss38 (module ()
94 (module (pass)
655 (module ()
664 (module ()
1539 (module (np-lift-well-known-closures)
1694 … (lift-info-le**-set! lift-info (append (lift-info-le** new-lift-info) (lift-info-le** lift-info)))
1831 (lift-info-le**-set! lift-info (cons lift-le* (lift-info-le** lift-info))))
1889 … (lift-info-le**-set! lift-info (append (lift-info-le** new-lift-info) (lift-info-le** lift-info)))
2817 ;; Optimistically assume 'fp, so it will unify ok with
5105 … ;; where the attachments field is #f. Make sure the GC is ok with that.
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/htdp-lib/lang/private/
H A Dteach.rkt336 ;; In a module context, just check the binding
366 [(memq (syntax-local-context) '(module module-begin))
406 (define (ok-definition-context)
558 (unless (or (ok-definition-context)
831 (unless (or (ok-definition-context)
1204 (unless (or (ok-definition-context)
1363 [(and (not lex-ok?) (binding-in-this-module? binding))
1679 (unless (memq (syntax-local-context) '(top-level module module-begin))
2440 (ok-definition-context))
2449 (ok-definition-context))
[all …]
/dports/www/elixir-phoenix/phoenix-1.3.3/guides/docs/
H A Dcontexts.md46context. We'll use the `phx.gen.html` task which creates a context module that wraps up Ecto acces…
147 {:ok, user} ->
203 {:ok, %User{}}
454 %User{} = user -> {:ok, user}
476 {:ok, user} ->
866 defp handle_existing_author({:ok, author}), do: author
925 {:ok, page} ->
939 {:ok, page} ->
952 - {:ok, _page} = CMS.delete_page(page)
953 + {:ok, _page} = CMS.delete_page(conn.assigns.page)
[all …]

12345678910>>...17