[fix #25] disable as-pattern recovery

Author: flupe

Makefile

@@ -1,3 +1,8 @@
+.PHONY: default
+
+default:
+	cabal install --overwrite-policy=always
+
 %.ast:
 	agda2lambox -o build test/$*.agda
 

src/Agda/Utils/Treeless.hs

@@ -189,7 +189,9 @@ compilerPipeline v q =
       -- [ compilerPass "simpl"  (30 + v) "simplification"     $ const simplifyTTerm
       [ compilerPass "erase"  (30 + v) "erasure"            $ eraseTerms q
       , compilerPass "uncase" (30 + v) "uncase"             $ const caseToSeq
-      , compilerPass "aspat"  (30 + v) "@-pattern recovery" $ const recoverAsPatterns
+
+
+      --, compilerPass "aspat"  (30 + v) "@-pattern recovery" $ const recoverAsPatterns
       ]
 
     , compilerPass "id" (30 + v) "identity function detection" $ const (detectIdentityFunctions q)