Skip to content

Commit

Permalink
stg-spec: Modify .lhs to .hs
Browse files Browse the repository at this point in the history
Modify old filename `.lhs` to `.hs` in the following file:

  * docs/stg-spec/StgSyn.ott

Since PDF has not been registered in the past, I have not committed generated PDF(`stg-spec.pdf`).

[ci skip]
  • Loading branch information
takenobu-hs committed Jan 3, 2019
1 parent 58da9c7 commit 05cd231
Showing 1 changed file with 10 additions and 10 deletions.
20 changes: 10 additions & 10 deletions docs/stg-spec/StgSyn.ott
Original file line number Diff line number Diff line change
Expand Up @@ -28,23 +28,23 @@ indexvar i, j, k, n ::= {{ com Indices to be used in lists }}
grammar

lit {{ tex \textsf{lit} }} :: 'Literal_' ::=
{{ com Literals, \coderef{basicTypes/Literal.lhs}{Literal} }}
{{ com Literals, \coderef{basicTypes/Literal.hs}{Literal} }}

op {{ tex \textsf{op} }} :: 'StgOp_' ::=
{{ com Primitive operation or foreign call, \coderef{stgSyn/StgSyn.lhs}{StgOp} }}
{{ com Primitive operation or foreign call, \coderef{stgSyn/StgSyn.hs}{StgOp} }}

cc {{ tex \textsf{cc} }} :: 'CostCentre_' ::=
{{ com Cost-centre, \coderef{profiling/CostCentre.lhs}{CostCentre} }}
{{ com Cost-centre, \coderef{profiling/CostCentre.hs}{CostCentre} }}

ccs {{ tex \textsf{ccs} }} :: 'CostCentreStack_' ::=
| CCCS :: :: CurrentCCS {{ com Current cost-centre stack }}
{{ tex \bullet }}
| _ :: :: DontCareCCS {{ com Don't care cost-centre stack }}
| ccs ^ ccs' :: :: EnterFunCCS {{ com Function entry, \coderef{rts/Profiling.c}{enterFunCCS} }}
| ccs # cc :: :: PushCC {{ com Push a cost-centre, \coderef{rts/Profiling.c}{pushCostCentre} }}
{{ com Cost-centre stack, \coderef{profiling/CostCentre.lhs}{CostCentreStack} }}
{{ com Cost-centre stack, \coderef{profiling/CostCentre.hs}{CostCentreStack} }}

a, b, c :: 'StgArg_' ::= {{ com Arguments, \coderef{stgSyn/StgSyn.lhs}{StgArg} }}
a, b, c :: 'StgArg_' ::= {{ com Arguments, \coderef{stgSyn/StgSyn.hs}{StgArg} }}
| x :: :: StgVarArg {{ com Variable }}
| lit :: :: StgLitArg {{ com Literal }}

Expand All @@ -59,7 +59,7 @@ xs :: 'Ids_' ::= {{ com List of variables }}
| nil :: :: EmptyList
| xs xs' :: :: Append

e :: 'StgExpr_' ::= {{ com Expressions, \coderef{stgSyn/StgSyn.lhs}{StgExpr} }}
e :: 'StgExpr_' ::= {{ com Expressions, \coderef{stgSyn/StgSyn.hs}{StgExpr} }}
| lit :: :: StgLit {{ com Literal }}
| x args :: :: StgApp {{ com Function application (or variable) }}
| K args :: :: StgConApp {{ com Saturated constructor application }}
Expand All @@ -75,23 +75,23 @@ subst :: 'Subst_' ::= {{ com List of substitutions }}
| [ a / x ] :: :: Mapping
| </ substi // i /> :: :: List

binding :: 'StgBind_' ::= {{ com Let-bindings, \coderef{stgSyn/StgSyn.lhs}{StgBind} }}
binding :: 'StgBind_' ::= {{ com Let-bindings, \coderef{stgSyn/StgSyn.hs}{StgBind} }}
| x = rhs :: :: StgNonRec {{ com Non-recursive binding }}
| rec </ xi = rhsi // and // i /> :: :: StgRec {{ com Recursive binding }}

upd :: 'UpdateFlag_' ::= {{ com Update flag, \coderef{stgSyn/StgSyn.lhs}{UpdateFlag} }}
upd :: 'UpdateFlag_' ::= {{ com Update flag, \coderef{stgSyn/StgSyn.hs}{UpdateFlag} }}
| r :: :: ReEntrant {{ com Function (re-entrant closure) }}
| u :: :: Updatable {{ com Thunk (updatable closure) }}

cl :: 'StgRhsClosure_' ::= {{ com StgRhsClosure }}
| \ upd ccs xs . e :: :: StgRhsClosure

rhs :: 'StgRhs_' ::= {{ com Right-hand sides, \coderef{stgSyn/StgSyn.lhs}{StgRhs} }}
rhs :: 'StgRhs_' ::= {{ com Right-hand sides, \coderef{stgSyn/StgSyn.hs}{StgRhs} }}
| cl :: :: StgRhsClosure {{ com Closure }}
| K ccs args :: :: StgRhsCon {{ com Constructor }}
| x :: :: StgRhsIndirection {{ com Indirection (runtime only) }}

alt :: 'StgAlt_' ::= {{ com Case alternative, \coderef{stgSyn/StgSyn.lhs}{StgAlt} }}
alt :: 'StgAlt_' ::= {{ com Case alternative, \coderef{stgSyn/StgSyn.hs}{StgAlt} }}
| K </ xi // i /> -> e :: :: StgAlt {{ com Constructor applied to fresh names }}

terminals :: 'terminals_' ::=
Expand Down

0 comments on commit 05cd231

Please sign in to comment.