src/AST/Expression/Optimized.hs · elk

on cb3a2fa help sign in

elk/src/AST/Expression/Optimized.hs

35 lines 644 B history raw

1{-# OPTIONS_GHC -Wall #-}

2module AST.Expression.Optimized

3 ( Expr, Expr'

4 , Def(..)

5 , Facts(..), dummyFacts

6 ) where

8import qualified AST.Expression.General as General

9import qualified AST.Pattern as Pattern

10import qualified AST.Type as Type

11import qualified AST.Variable as Var

14type Expr =

15 General.Expr () Def Var.Canonical Type.Canonical

18type Expr' =

19 General.Expr' () Def Var.Canonical Type.Canonical

22data Def

23 = Definition Facts Pattern.Optimized Expr

24 deriving (Show)

27data Facts = Facts

28 { tailRecursionDetails :: Maybe String

29 }

30 deriving (Show)

33dummyFacts :: Facts

34dummyFacts =

35 Facts Nothing