Skip to content
Snippets Groups Projects
Forked from Glasgow Haskell Compiler / GHC
Source project has a limited visibility.
  • jeffrey young's avatar
    b159e0e9
    js: split JMacro into JS eDSL and JS syntax · b159e0e9
    jeffrey young authored and Marge Bot's avatar Marge Bot committed
    This commit:
    
    Splits JExpr and JStat into two nearly identical DSLs:
    - GHC.JS.Syntax is the JMacro based DSL without unsaturation, i.e., a
    value cannot be unsaturated, or, a value of this DSL is a witness that a
    value of GHC.JS.Unsat has been saturated
    - GHC.JS.Unsat is the JMacro DSL from GHCJS with Unsaturation.
    
    Then all binary and outputable instances are changed to use
    GHC.JS.Syntax.
    
    This moves us closer to closing out #22736 and #22352. See #22736 for
    roadmap.
    
    -------------------------
    Metric Increase:
        CoOpt_Read
        LargeRecord
        ManyAlternatives
        PmSeriesS
        PmSeriesT
        PmSeriesV
        T10421
        T10858
        T11195
        T11374
        T11822
        T12227
        T12707
        T13035
        T13253
        T13253-spj
        T13379
        T14683
        T15164
        T15703
        T16577
        T17096
        T17516
        T17836
        T18140
        T18282
        T18304
        T18478
        T18698a
        T18698b
        T18923
        T1969
        T19695
        T20049
        T21839c
        T3064
        T4801
        T5321FD
        T5321Fun
        T5631
        T5642
        T783
        T9198
        T9233
        T9630
        TcPlugin_RewritePerf
        WWRec
    -------------------------
    b159e0e9
    History
    js: split JMacro into JS eDSL and JS syntax
    jeffrey young authored and Marge Bot's avatar Marge Bot committed
    This commit:
    
    Splits JExpr and JStat into two nearly identical DSLs:
    - GHC.JS.Syntax is the JMacro based DSL without unsaturation, i.e., a
    value cannot be unsaturated, or, a value of this DSL is a witness that a
    value of GHC.JS.Unsat has been saturated
    - GHC.JS.Unsat is the JMacro DSL from GHCJS with Unsaturation.
    
    Then all binary and outputable instances are changed to use
    GHC.JS.Syntax.
    
    This moves us closer to closing out #22736 and #22352. See #22736 for
    roadmap.
    
    -------------------------
    Metric Increase:
        CoOpt_Read
        LargeRecord
        ManyAlternatives
        PmSeriesS
        PmSeriesT
        PmSeriesV
        T10421
        T10858
        T11195
        T11374
        T11822
        T12227
        T12707
        T13035
        T13253
        T13253-spj
        T13379
        T14683
        T15164
        T15703
        T16577
        T17096
        T17516
        T17836
        T18140
        T18282
        T18304
        T18478
        T18698a
        T18698b
        T18923
        T1969
        T19695
        T20049
        T21839c
        T3064
        T4801
        T5321FD
        T5321Fun
        T5631
        T5642
        T783
        T9198
        T9233
        T9630
        TcPlugin_RewritePerf
        WWRec
    -------------------------
Code owners
Assign users and groups as approvers for specific file changes. Learn more.