Skip to content

WebDSL-Lexical-sig.stx

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

module 

imports

signature

  sorts
     = string
     = string
     = string
    FAVarId = string
     = string
     = string
     = string
     = string
    ExtendedId = string
    SectionName = string
    
    
    
    
     = string
    Long = string
     = string
    FloatDigits = string
    ExponentPart = string
    SignedInteger = string
    
    
    
    
    
    QMLex = string
    StringLex = string
    StringChar = string
    HexPart = string
    InsideComment = string
    CommentChar = string
    NewLineEOF = string
    EOF = string
     = string
     = string
    GenericSortLex = string

  constructors
    ModuleName-Plhdr : ModuleName
    ModulePart-Plhdr : ModulePart
    ImportName-Plhdr : ImportName
    OptWildcardImport-Plhdr : OptWildcardImport
    String-Plhdr : String
    StringPart-Plhdr : StringPart
    StringInterpExp-Plhdr : StringInterpExp
    OutputShorthand-Plhdr : OutputShorthand
    SimpleExp-Plhdr : SimpleExp

signature

  constructors
    ModulePart : ExtendedId -> ModulePart
    WildcardImport : OptWildcardImport
    NoWildcardImport : OptWildcardImport
     : list(ModulePart) -> ModuleName
     : ModuleName * OptWildcardImport -> ImportName
    String : list(StringPart) -> String
    StringValue : StringLex -> StringPart
    InterpValue : StringInterpExp -> StringPart
    InterpSimpleExp : SimpleExp -> StringInterpExp
    OutputShorthandSimpleExp : SimpleExp -> OutputShorthand
    SimpleVar : Id -> SimpleExp
    SimpleFieldAccess : SimpleExp * PropertyId -> SimpleExp