Skip to content

Commit

Permalink
let _default contructors pass through
Browse files Browse the repository at this point in the history
  • Loading branch information
0xtimmy committed Jan 11, 2024
1 parent 19d4a65 commit 9bc6837
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion gibbon-compiler/src/Gibbon/Passes/FreshConstructors.hs
Original file line number Diff line number Diff line change
Expand Up @@ -155,4 +155,4 @@ resolveNameInEnv name e =
do case (M.lookup name e) of
--Just freshName -> (toVar ((fromVar freshName) ++ "*"))
Just freshName -> freshName
Nothing -> error $ "can't find " ++ (fromVar name) ++ " in constructor env: " ++ (show e)
Nothing -> name --error $ "can't find " ++ (fromVar name) ++ " in constructor env: " ++ (show e)

0 comments on commit 9bc6837

Please sign in to comment.