git.iko.soy/elk
on master help sign in
Only expose a constructor for concrete records
5a6c9c0Evan Czaplicki
src/Canonicalize.hs+4−2
compare with master
unifiedsplit
@@ -320,9 +320,11 @@ declToValue (A.A _ decl) =
320
320
321 D.TypeAlias name _ tipe ->
321 D.TypeAlias name _ tipe ->
322 case tipe of
322 case tipe of
323− A.A _ (Type.RRecord _ _) ->
323+ A.A _ (Type.RRecord _ Nothing) ->
324 [ Var.Alias name, Var.Value name ]
324 [ Var.Alias name, Var.Value name ]
325+
326+ _ ->
325− _ -> [ Var.Alias name ]
327+ [ Var.Alias name ]
326
328
327 _ -> []
329 _ -> []
328
330