Skip to content
  • Simon Peyton Jones's avatar
    [project @ 2004-08-26 15:44:50 by simonpj] · bb88e732
    Simon Peyton Jones authored
    -------------------------------
    	Print built-in sytax right
    	-------------------------------
    
    Built-in syntax, like (:) and [], is not "in scope" via the GlobalRdrEnv
    in the usual way.  When we print it out, we should also print it in unqualified
    form, even though it's not in the environment.
    
    I've finally bitten the (not very big) bullet, and added to Name the information
    about whether or not a name is one of these built-in ones.  That entailed changing
    the calls to mkWiredInName, but those are exactly the places where you have to
    decide whether it's built-in or not, which is fine.
    
    
    Built-in syntax => It's a syntactic form, not "in scope" (e.g. [])
    
    Wired-in thing  => The thing (Id, TyCon) is fully known to the compiler,
    		   not read from an interface file.
    		   E.g. Bool, True, Int, Float, and many others
    
    All built-in syntax is for wired-in things.
    bb88e732