@@ -936,5 +936,7 @@ reflectDatatype (RDatatype tyn tyConArgs tyConRes constrs) =
936936 | (cn, cty) <- constrs
937937 ]
938938 ]
939− where reflectConArg (RParameter n t) = raw_apply (Var $ tacN "Parameter") [reflectName n, reflectRaw t]
940− reflectConArg (RIndex n t) = raw_apply (Var $ tacN "Index") [reflectName n, reflectRaw t]
939+ where reflectConArg (RParameter n t) =
940+ raw_apply (Var $ tacN "Parameter") [reflectName n, reflectRaw t]
941+ reflectConArg (RIndex n t) =
942+ raw_apply (Var $ tacN "Index") [reflectName n, reflectRaw t]