Fix CodingStyle#Warnings URLs
[ghc.git] / compiler / coreSyn / ExternalCore.lhs
1 %
2 % (c) The University of Glasgow 2001-2006
3 %
4 \begin{code}
5 {-# OPTIONS -w #-}
6 -- The above warning supression flag is a temporary kludge.
7 -- While working on this module you are encouraged to remove it and fix
8 -- any warnings in the module. See
9 --     http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings
10 -- for details
11
12 module ExternalCore where
13
14
15 data Module 
16  = Module Mname [Tdef] [Vdefg]
17
18 data Tdef 
19   = Data (Qual Tcon) [Tbind] [Cdef]
20   | Newtype (Qual Tcon) [Tbind] (Maybe Ty)
21
22 data Cdef 
23   = Constr Dcon [Tbind] [Ty]
24   | GadtConstr Dcon Ty
25
26 data Vdefg 
27   = Rec [Vdef]
28   | Nonrec Vdef
29
30 type Vdef = (Bool,Var,Ty,Exp)   -- Top level bindings are unqualified now
31
32 data Exp 
33   = Var (Qual Var)
34   | Dcon (Qual Dcon)
35   | Lit Lit
36   | App Exp Exp
37   | Appt Exp Ty
38   | Lam Bind Exp          
39   | Let Vdefg Exp
40   | Case Exp Vbind Ty [Alt] {- non-empty list -}
41   | Cast Exp Ty
42   | Note String Exp
43   | External String String Ty {- target name, convention, and type -} 
44   | DynExternal String Ty {- convention and type (incl. Addr# of target as first arg) -} 
45   | Label String
46
47 data Bind 
48   = Vb Vbind
49   | Tb Tbind
50
51 data Alt 
52   = Acon (Qual Dcon) [Tbind] [Vbind] Exp
53   | Alit Lit Exp
54   | Adefault Exp
55
56 type Vbind = (Var,Ty)
57 type Tbind = (Tvar,Kind)
58
59 data Ty 
60   = Tvar Tvar
61   | Tcon (Qual Tcon)
62   | Tapp Ty Ty
63   | Tforall Tbind Ty 
64
65 data Kind 
66   = Klifted
67   | Kunlifted
68   | Kunboxed
69   | Kopen
70   | Karrow Kind Kind
71   | Keq Ty Ty
72
73 data Lit 
74   = Lint Integer Ty
75   | Lrational Rational Ty
76   | Lchar Char Ty
77   | Lstring String Ty
78   
79
80 type Mname = Id
81 type Var = Id
82 type Tvar = Id
83 type Tcon = Id
84 type Dcon = Id
85
86 type Qual t = (Mname,t)
87
88 type Id = String
89
90 primMname = "base:GHC.Prim"
91
92 tcArrow :: Qual Tcon
93 tcArrow = (primMname, "(->)")
94
95 \end{code}
96
97
98
99