src/AST/Expression/Optimized.hs · elk

on ac4e451 help sign in

elk/src/AST/Expression/Optimized.hs

36 lines 685 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 , dependencies :: [Var.TopLevel]

30 }

31 deriving (Show)

34dummyFacts :: Facts

35dummyFacts =

36 Facts Nothing []