Commit 8ed11ff0 authored by Camil Staps's avatar Camil Staps 🐧

Add TFA (universally quantified type without context) to Clean.Types.CoclTransform

parent 8ad481a3
Pipeline #29229 passed with stage
in 3 minutes and 5 seconds
...@@ -51,6 +51,7 @@ where ...@@ -51,6 +51,7 @@ where
toType (GTV tv) = 'Clean.Types'.Var tv.tv_ident.id_name toType (GTV tv) = 'Clean.Types'.Var tv.tv_ident.id_name
toType (t1 --> t2) = 'Clean.Types'.Func ['Clean.Types'.toType t1] ('Clean.Types'.toType t2) [] toType (t1 --> t2) = 'Clean.Types'.Func ['Clean.Types'.toType t1] ('Clean.Types'.toType t2) []
toType ((CV cv) :@: ats) = 'Clean.Types'.Cons cv.tv_ident.id_name (map 'Clean.Types'.toType ats) toType ((CV cv) :@: ats) = 'Clean.Types'.Cons cv.tv_ident.id_name (map 'Clean.Types'.toType ats)
toType (TFA tvas t) = 'Clean.Types'.Forall (map 'Clean.Types'.toType tvas) ('Clean.Types'.toType t) []
toType (TFAC tvas t tc) = 'Clean.Types'.Forall (map 'Clean.Types'.toType tvas) ('Clean.Types'.toType t) ('Clean.Types'.toTypeContext tc) toType (TFAC tvas t tc) = 'Clean.Types'.Forall (map 'Clean.Types'.toType tvas) ('Clean.Types'.toType t) ('Clean.Types'.toTypeContext tc)
toType TArrow = 'Clean.Types'.Arrow Nothing toType TArrow = 'Clean.Types'.Arrow Nothing
toType (TArrow1 t) = 'Clean.Types'.Arrow (Just ('Clean.Types'.toType t)) toType (TArrow1 t) = 'Clean.Types'.Arrow (Just ('Clean.Types'.toType t))
......
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