From f870c4d80f9e1b55a18c54f8119e5ed11f9d14e1 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Thu, 18 Mar 2010 19:34:30 +0000
Subject: syntax for inaccessible patterns in GF

---
 src/compiler/GF/Compile/Abstract/TC.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/compiler/GF/Compile/Abstract')

diff --git a/src/compiler/GF/Compile/Abstract/TC.hs b/src/compiler/GF/Compile/Abstract/TC.hs
index 163301838..bca54b93c 100644
--- a/src/compiler/GF/Compile/Abstract/TC.hs
+++ b/src/compiler/GF/Compile/Abstract/TC.hs
@@ -241,6 +241,7 @@ checkBranch th tenv b@(ps,t) ty = errIn ("branch" +++ show b) $
      PFloat n -> (EFloat n : ps, i, g, k)
      PP m c xs -> (mkApp (Q m c) xss : ps, j, g',k') 
                     where (xss,j,g',k') = foldr p2t ([],i,g,k) xs
+     PTilde t -> (t : ps, i, g, k)
      _ -> error $ render (text "undefined p2t case" <+> ppPatt Unqualified 0 p <+> text "in checkBranch")
 
   upd x k g = (x, VGen k x) : g --- hack to recognize pattern variables
-- 
cgit v1.2.3