Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch/src/compiler/MAP
ViewVC logotype

Diff of /sml/branches/primop-branch/src/compiler/MAP

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1562, Mon Jul 26 14:06:57 2004 UTC revision 1563, Mon Jul 26 19:48:45 2004 UTC
# Line 517  Line 517 
517  intermediate representation (a form of typed lambda calculus)  intermediate representation (a form of typed lambda calculus)
518    
519    [see FLINT/MAP]    [see FLINT/MAP]
520      kernel/
521        primop.sig/sml
522          define datatypes representing primitive operations.  some are true
523          primities, some are "inline", meaning that they expand into lambda
524          code sequences.
525          uses: Int
526          defs: PRIM_OP, PrimOp: PRIM_OP
527    
528    
529  4. Back End  4. Back End
# Line 618  Line 625 
625        defs: CompileF: CODEGENERATOR # CCONFIG # {cproto_conv : string} => COMPILE0        defs: CompileF: CODEGENERATOR # CCONFIG # {cproto_conv : string} => COMPILE0
626    
627    
628    7. System Build
629    
630    system/
631    
632    system/init
633        built-in.sml
634        reassign more precise types to primops in structure Inline, producing a new
635        structure InLineT; most of these reassignments are redundant since PrimEnv
636        (Semant/statenv/prim.sml) now assigns exact types to most primops, but there
637        are a few primops (e.g. length) that have multiple types that are instances
638        of a more polymorphic type assigned in InLine.
639        defs: InlineT
640    
641  ============================================================================  ============================================================================
642    

Legend:
Removed from v.1562  
changed lines
  Added in v.1563

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0