diff options
Diffstat (limited to 'src/GF/Source')
| -rw-r--r-- | src/GF/Source/GrammarToSource.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Source/GrammarToSource.hs b/src/GF/Source/GrammarToSource.hs index 16a68cdb0..74c98b1bc 100644 --- a/src/GF/Source/GrammarToSource.hs +++ b/src/GF/Source/GrammarToSource.hs @@ -153,6 +153,7 @@ trt trm = case trm of RecType r -> P.ERecord $ map trLabelling r ExtR x y -> P.EExtend (trt x) (trt y) P t l -> P.EProj (trt t) (trLabel l) + PI t l _ -> P.EProj (trt t) (trLabel l) Q t l -> P.EQCons (tri t) (tri l) QC t l -> P.EQConstr (tri t) (tri l) TSh (TComp ty) cc -> P.ETTable (trt ty) (map trCases cc) |