carp-lang/Carp
1
1
Fork 0
mirror of https://github.com/carp-lang/Carp.git synced 2024-10-11 04:27:55 +03:00
Code Issues Projects Releases Wiki Activity

BUGFIX: Handle refs and pointers in 'concretizeType'.

Browse Source
This commit is contained in:
Erik Svedäng 2018-09-25 16:49:02 +02:00
parent 83314ec9d9
commit 531ad4de05
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Concretize.hs
View File

@ -352,6 +352,10 @@ concretizeType typeEnv genericStructTy@(StructTy name _) =
error ("Non-deftype found in type env: " ++ show x)
Nothing ->
error ("Can't find type " ++ show genericStructTy ++ " with name '" ++ name ++ "' in type env.")
concretizeType env (RefTy rt) =
concretizeType env rt
concretizeType env (PointerTy pt) =
concretizeType env pt
concretizeType _ t =
Right [] -- ignore all other types