Home
last modified time | relevance | path

Searched refs:decls2 (Results 1 – 25 of 65) sorted by relevance

123

/dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter8/simplemodules/
H A Dsubtyping.rkt14 (simple-iface (decls2)
15 (<:-decls decls1 decls2 tenv)))))))
27 (lambda (decls1 decls2 tenv)
29 ((null? decls2) #t)
33 (name2 (decl->name (car decls2))))
38 (decl->type (car decls2)))
39 (<:-decls (cdr decls1) (cdr decls2) tenv))
40 (<:-decls (cdr decls1) decls2 tenv)))))))
/dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter8/abstract-types-lang/
H A Dsubtyping.rkt17 (simple-iface (decls2)
18 (<:-decls decls1 decls2 tenv)))))))
29 (lambda (decls1 decls2 tenv)
31 ;; if nothing in decls2, any decls1 will do
32 ((null? decls2) #t)
36 ;; at this point we know both decls1 and decls2 are non-empty.
38 (name2 (decl->name (car decls2))))
42 (<:-decl (car decls1) (car decls2) tenv)
43 (<:-decls (cdr decls1) (cdr decls2)
46 (<:-decls (cdr decls1) decls2
/dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter8/full-system/
H A Dsubtyping.rkt17 (simple-iface (decls2)
18 (<:-decls decls1 decls2 tenv))
49 (lambda (decls1 decls2 tenv)
51 ;; if nothing in decls2, any decls1 will do
52 ((null? decls2) #t)
56 ;; at this point we know both decls1 and decls2 are non-empty.
58 (name2 (decl->name (car decls2))))
62 (<:-decl (car decls1) (car decls2) tenv)
63 (<:-decls (cdr decls1) (cdr decls2)
66 (<:-decls (cdr decls1) decls2
/dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-dev-scripts/src/
H A DCapture.hs18 let decls2 = SYB.everywhere (SYB.mkT mangleName) decls1 function
19 let declsStr = pprint decls2
/dports/textproc/py-pygccxml/pygccxml-2.2.1/unittests/
H A Dcache_enums_tester.py37 decls2 = reader.read_file(self.header)
44 color2 = declarations.matcher.get_single(enum_matcher, decls2)
/dports/lang/gcc48/gcc-4.8.5/libgo/go/go/types/testdata/
H A Ddecls2b.src7 package decls2
H A Ddecls2a.src7 package decls2
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/libgo/go/go/types/testdata/
H A Ddecls2b.src7 package decls2
H A Ddecls2a.src7 package decls2
/dports/devel/mingw32-gcc/gcc-4.8.1/libgo/go/go/types/testdata/
H A Ddecls2b.src7 package decls2
/dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/go/types/testdata/
H A Ddecls2b.src7 package decls2
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/llgo/third_party/gotools/go/types/testdata/
H A Ddecls2b.src7 package decls2
/dports/lang/gcc12-devel/gcc-12-20211205/libgo/go/go/types/testdata/check/decls2/
H A Ddecls2b.src7 package decls2
/dports/lang/gcc8/gcc-8.5.0/libgo/go/go/types/testdata/
H A Ddecls2b.src7 package decls2
/dports/lang/gcc10/gcc-10.3.0/libgo/go/go/types/testdata/
H A Ddecls2b.src7 package decls2
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/cmd/compile/internal/types2/testdata/check/decls2/
H A Ddecls2b.src7 package decls2
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/libgo/go/go/types/testdata/
H A Ddecls2b.src7 package decls2
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/go/types/testdata/check/decls2/
H A Ddecls2b.src7 package decls2
/dports/lang/gcc11/gcc-11.2.0/libgo/go/go/types/testdata/
H A Ddecls2b.src7 package decls2
/dports/lang/gcc11-devel/gcc-11-20211009/libgo/go/go/types/testdata/
H A Ddecls2b.src7 package decls2
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/libgo/go/go/types/testdata/
H A Ddecls2b.src7 package decls2
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/libgo/go/go/types/testdata/
H A Ddecls2b.src7 package decls2
/dports/lang/gcc9-devel/gcc-9-20211007/libgo/go/go/types/testdata/
H A Ddecls2b.src7 package decls2
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/libgo/go/go/types/testdata/
H A Ddecls2b.src7 package decls2
/dports/devel/riscv64-gcc/gcc-8.3.0/libgo/go/go/types/testdata/
H A Ddecls2b.src7 package decls2

123