Commit 4a4a6581 authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl

make new type constructor strict, to fix hyperstrict analysis

parent 51ad41d0
......@@ -2403,8 +2403,8 @@ where
token
# (succ,pc_arg_type,pState) = trySimpleTypeT token TA_Anonymous pState
-> (succ==ParseOk,pc_arg_type,pState)
cons = { pc_cons_ident = pc_cons_ident, pc_arg_types = [pc_arg_type], pc_args_strictness = NotStrict,
pc_context = [], pc_cons_arity = 1, pc_cons_prio = pc_cons_prio, pc_exi_vars = exi_vars, pc_cons_pos = pc_cons_pos}
cons = { pc_cons_ident = pc_cons_ident, pc_arg_types = [pc_arg_type], pc_args_strictness = Strict 1,
pc_context = [], pc_cons_arity = 1, pc_cons_prio = pc_cons_prio, pc_exi_vars = exi_vars, pc_cons_pos = pc_cons_pos}
| succ
= (cons,pState)
= (cons,parseError "newtype definition" No "type" pState)
......
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