msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

rlp2core base

Browse Source
This commit is contained in:
crumbtoo
2024-02-02 15:10:04 -07:00
parent c9d1ca51f5
commit 38d1044f5d
3 changed files with 59 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
src/Rlp2Core.hs
View File

@@ -21,18 +21,15 @@ rlpProgToCore = foldMapOf (progDecls . each) declToCore
declToCore :: Decl' RlpcPs -> Program'
declToCore = undefined
declToCore (TySigD'' ns t) =
mempty & programTypeSigs .~ H.fromList [ (n, typeToCore t) | n <- ns ]
-- declToCore (TySigD ns t) =
-- mempty & programTypeSigs .~ H.fromList [ (n, typeToCore t) | n <- ns ]
typeToCore :: RlpType RlpcPs -> Type
typeToCore = undefined
-- typeToCore FunConT = TyFun
-- typeToCore (FunT s t) = typeToCore s :-> typeToCore t
-- typeToCore (AppT s t) = TyApp (typeToCore s) (typeToCore t)
-- typeToCore (ConT n) = TyCon (dsNameToName n)
-- typeToCore (VarT x) = TyVar (dsNameToName x)
typeToCore :: RlpType' RlpcPs -> Type
typeToCore FunConT'' = TyFun
typeToCore (FunT'' s t) = typeToCore s :-> typeToCore t
typeToCore (AppT'' s t) = TyApp (typeToCore s) (typeToCore t)
typeToCore (ConT'' n) = TyCon (dsNameToName n)
typeToCore (VarT'' x) = TyVar (dsNameToName x)
-- | Forwards-compatiblity if IdP RlpDs is changed
dsNameToName :: IdP RlpcPs -> Name