diff options
Diffstat (limited to 'src/Inky/Term/Pretty/Error.idr')
| -rw-r--r-- | src/Inky/Term/Pretty/Error.idr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Inky/Term/Pretty/Error.idr b/src/Inky/Term/Pretty/Error.idr index a5ee2fa..d87178f 100644 --- a/src/Inky/Term/Pretty/Error.idr +++ b/src/Inky/Term/Pretty/Error.idr @@ -22,6 +22,7 @@ Pretty (ChecksOnly t) where pretty Roll = "rolling" pretty Fold = "fold" +export prettyNotSynths : {tyCtx, tmCtx : SnocList String} -> {e : Term mode m tyCtx tmCtx} -> @@ -99,7 +100,7 @@ prettyNotSynths (PrjNS2 prf f) = , pretty "cannot project non-product type" <+> line <+> prettyType a Open )] -prettyNotSynths (PrjNS3 {l, as} prf contra) = +prettyNotSynths (PrjNS3 {l, e, as} prf contra) = case synthsRecompute prf of Val (TProd as) => [(e.meta |