fsharp/src/Compiler/Checking/CheckDeclarations.fsi at main · dotnet/fsharp · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
// Copyright (c) Microsoft Corporation.  All Rights Reserved.  See License.txt in the project root for license information.

module internal FSharp.Compiler.CheckDeclarations

open FSharp.Compiler.Diagnostics
open Internal.Utilities.Library
open FSharp.Compiler.CheckBasics
open FSharp.Compiler.NameResolution
open FSharp.Compiler.Import
open FSharp.Compiler.Syntax
open FSharp.Compiler.TcGlobals
open FSharp.Compiler.Text
open FSharp.Compiler.TypedTree

val AddLocalRootModuleOrNamespace: TcGlobals -> ImportMap -> range -> TcEnv -> ModuleOrNamespaceType -> TcEnv

val CreateInitialTcEnv:
    TcGlobals * ImportMap * range * assemblyName: string * (CcuThunk * string list * string list) list ->
        OpenDeclaration list * TcEnv

val AddCcuToTcEnv:
    TcGlobals *
    ImportMap *
    range *
    TcEnv *
    assemblyName: string *
    ccu: CcuThunk *
    autoOpens: string list *
    internalsVisibleToAttributes: string list ->
        OpenDeclaration list * TcEnv

type TopAttribs =
    { mainMethodAttrs: Attribs
      netModuleAttrs: Attribs
      assemblyAttrs: Attribs }

type ConditionalDefines = string list

val EmptyTopAttrs: TopAttribs

val CombineTopAttrs: TopAttribs -> TopAttribs -> TopAttribs

val TcOpenModuleOrNamespaceDecl:
    TcResultsSink -> TcGlobals -> ImportMap -> range -> TcEnv -> LongIdent * range -> TcEnv * OpenDeclaration list

val AddLocalSubModule:
    g: TcGlobals -> amap: ImportMap -> m: range -> env: TcEnv -> moduleEntity: ModuleOrNamespace -> TcEnv

val CheckOneImplFile:
    TcGlobals *
    ImportMap *
    CcuThunk *
    OpenDeclaration list *
    (unit -> bool) *
    ConditionalDefines option *
    TcResultsSink *
    bool *
    TcEnv *
    ModuleOrNamespaceType option *
    ParsedImplFileInput *
    FSharpDiagnosticOptions ->
        Cancellable<TopAttribs * CheckedImplFile * TcEnv * bool>

val CheckOneSigFile:
    TcGlobals *
    ImportMap *
    CcuThunk *
    (unit -> bool) *
    ConditionalDefines option *
    TcResultsSink *
    bool *
    FSharpDiagnosticOptions ->
        TcEnv ->
        ParsedSigFileInput ->
            Cancellable<TcEnv * ModuleOrNamespaceType * bool>

exception NotUpperCaseConstructor of range: range

exception NotUpperCaseConstructorWithoutRQA of range: range