diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-09 10:52:19 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-09 10:52:19 +0000 |
| commit | 6a4218e9efebc8b037cf2410a5e07a3fb20a5069 (patch) | |
| tree | 01185ad42df649c258725d18cdea54d7809832c3 /src/GF/Devel/Compile/SourceToGF.hs | |
| parent | b693ba103cac076bb8fe7d83a36f4fa9808321f4 (diff) | |
extend behaviour for interface and incomplete
Diffstat (limited to 'src/GF/Devel/Compile/SourceToGF.hs')
| -rw-r--r-- | src/GF/Devel/Compile/SourceToGF.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Devel/Compile/SourceToGF.hs b/src/GF/Devel/Compile/SourceToGF.hs index 103982147..5e7d8dc9e 100644 --- a/src/GF/Devel/Compile/SourceToGF.hs +++ b/src/GF/Devel/Compile/SourceToGF.hs @@ -504,6 +504,7 @@ transSort x = case x of transPatt :: Patt -> Err G.Patt transPatt x = case x of PW -> return wildPatt + PV (PIdent (_,"_")) -> return wildPatt PV id -> liftM G.PV $ transIdent id PC id patts -> liftM2 G.PC (transIdent id) (mapM transPatt patts) PCon id -> liftM2 G.PC (transIdent id) (return []) @@ -529,6 +530,7 @@ transPatt x = case x of transBind :: Bind -> Err Ident transBind x = case x of + BPIdent (PIdent (_,"_")) -> return identW BPIdent id -> transIdent id BWild -> return identW |