Commit dc6fa4f5 authored by's avatar

Add vectorisation-related OccName derivation scheme

parent ea810102
......@@ -33,7 +33,7 @@ module OccName (
mkSuperDictSelOcc, mkLocalOcc, mkMethodOcc, mkInstTyTcOcc,
mkInstTyCoOcc, mkEqPredCoOcc,
mkVectOcc, mkVectTyConOcc, mkVectDataConOcc, mkVectIsoOcc,
mkPArrayTyConOcc, mkPArrayDataConOcc,
mkPArrayTyConOcc, mkPArrayDataConOcc, mkPADFunOcc,
-- ** Deconstruction
occNameFS, occNameString, occNameSpace,
......@@ -466,6 +466,7 @@ mkVectDataConOcc = mk_simple_deriv dataName ":VD_"
mkVectIsoOcc = mk_simple_deriv varName "$VI_"
mkPArrayTyConOcc = mk_simple_deriv tcName ":VP_"
mkPArrayDataConOcc = mk_simple_deriv dataName ":VPD_"
mkPADFunOcc = mk_simple_deriv varName "$PA_"
mk_simple_deriv sp px occ = mk_deriv sp px (occNameString occ)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment