diff options
| author | Johan Tibell <johan.tibell@gmail.com> | 2015-01-11 23:19:34 +0100 |
|---|---|---|
| committer | Johan Tibell <johan.tibell@gmail.com> | 2015-01-11 23:19:34 +0100 |
| commit | 1cee34c71e807ff65b921b9062c3d03bac06e01c (patch) | |
| tree | 3ff2b46df1ce8e08a1a8800c6a22595504907e82 /compiler/hsSyn/Convert.hs | |
| parent | 601e345e5df64caa36e7823a6a01cb6c59252c97 (diff) | |
| download | haskell-strict-data.tar.gz | |
Add Strict data language pragmastrict-data
Diffstat (limited to 'compiler/hsSyn/Convert.hs')
| -rw-r--r-- | compiler/hsSyn/Convert.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/hsSyn/Convert.hs b/compiler/hsSyn/Convert.hs index 92af65170f..afb0fa56ed 100644 --- a/compiler/hsSyn/Convert.hs +++ b/compiler/hsSyn/Convert.hs @@ -436,8 +436,9 @@ cvtConstr (ForallC tvs ctxt con) cvt_arg :: (TH.Strict, TH.Type) -> CvtM (LHsType RdrName) cvt_arg (NotStrict, ty) = cvtType ty -cvt_arg (IsStrict, ty) = do { ty' <- cvtType ty; returnL $ HsBangTy (HsSrcBang Nothing True) ty' } -cvt_arg (Unpacked, ty) = do { ty' <- cvtType ty; returnL $ HsBangTy (HsSrcBang (Just True) True) ty' } +-- TODO: Do we need output Nothing instead of (Just True) if we're using -XStrictData? +cvt_arg (IsStrict, ty) = do { ty' <- cvtType ty; returnL $ HsBangTy (HsSrcBang Nothing (Just True)) ty' } +cvt_arg (Unpacked, ty) = do { ty' <- cvtType ty; returnL $ HsBangTy (HsSrcBang (Just True) (Just True)) ty' } cvt_id_arg :: (TH.Name, TH.Strict, TH.Type) -> CvtM (LConDeclField RdrName) cvt_id_arg (i, str, ty) |