Erich Ess erichgess
jozefg
/ PatCompile.hs
Created
March 25, 2016 07:19
Wadler's classic pattern matching algorithm implemented for a core language with Bound.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE DeriveTraversable #-} | |
| {-# LANGUAGE DeriveFoldable #-} | |
| {-# LANGUAGE DeriveFunctor #-} | |
| {-# LANGUAGE LambdaCase #-} | |
| {-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
| module PatCompile where | |
| import Bound | |
| import Bound.Var | |
| import Bound.Scope | |
| import Control.Monad (ap) |